1 error[E0491]: in type `&'b &'a ()`, reference has a longer lifetime than the data it references
2 --> $DIR/underconstrained_lifetime.rs:15:26
4 LL | type Converter<'a, 'b> = impl ProofForConversion<'a, 'b>;
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
7 note: the pointer is valid for the lifetime `'b` as defined here
8 --> $DIR/underconstrained_lifetime.rs:15:20
10 LL | type Converter<'a, 'b> = impl ProofForConversion<'a, 'b>;
12 note: but the referenced data is only valid for the lifetime `'a` as defined here
13 --> $DIR/underconstrained_lifetime.rs:15:16
15 LL | type Converter<'a, 'b> = impl ProofForConversion<'a, 'b>;
18 error: aborting due to previous error
20 For more information about this error, try `rustc --explain E0491`.