const fn foo() { const { foo::<&T>() } //~ ERROR: queries overflow the depth limit! } fn main () { const X: () = foo::(); }