Rewrite the UnconditionalRecursion lint to use MIR
#54490
Merged
UnconditionalRecursion lint to use MIR
#54490