The unconditional_recursion lint can trigger in divergent functions #54444
Description
@eddyb noticed these cases:
pub fn foo(x: bool) { // WARN function cannot return without recurring if x { foo(x); } else { loop {} } }pub fn foo(x: bool) { // WARN function cannot return without recursing if x { foo(!x); } else { panic!("foo"); } }@eddyb thinks the way to resolve this is to reimplement the lint on top of the dataflow analysis stuff.
https://discordapp.com/channels/442252698964721669/443151243398086667/492702651759329280