Closed
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.