1 error[E0310]: the parameter type `A` may not live long enough
2 --> $DIR/implied_lifetime_wf_check4_static.rs:4:18
4 LL | type Ty<A> = impl Sized + 'static;
5 | ^^^^^^^^^^^^^^^^^^^^ ...so that the type `A` will meet its required lifetime bounds
7 help: consider adding an explicit lifetime bound...
9 LL | type Ty<A: 'static> = impl Sized + 'static;
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0310`.