Recursive static with impl Trait errors out early #59631
Description
The following code should probably work. (cc @Aaron1011)
#![feature(impl_trait_in_bindings)] static FOO: impl Copy = &FOO; fn main() { }Errors:
Compiling playground v0.0.1 (/playground) error: non-defining existential type use in defining scope --> src/main.rs:2:25 | 2 | static FOO: impl Copy = &FOO; | ^^^^ lifetime `'<empty>` is part of concrete type but not used in parameter list of existential type error: aborting due to previous error error: Could not compile `playground`. To learn more, run the command again with --verbose.