new lint [single_range_in_vec_init
]#10934
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 15, 2023
Merged
Commits
Commits on Jun 12, 2023
Commits on Jun 14, 2023
- committed
single_range_in_vec_init
]#10934