1 error: lifetime may not live long enough
2 --> $DIR/ascribed-type-wf.rs:13:5
5 | -- lifetime `'a` defined here
6 LL | None::<<&'a () as Trait>::Ty>;
7 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
9 error: aborting due to previous error