]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #13869 - Veykril:exit-points, r=Veykril
authorbors <bors@rust-lang.org>
Sat, 31 Dec 2022 11:08:54 +0000 (11:08 +0000)
committerbors <bors@rust-lang.org>
Sat, 31 Dec 2022 11:08:54 +0000 (11:08 +0000)
Improve exit point highlighting for non-loop loops in tail position


Trivial merge