tests/ui/type-alias-impl-trait/constrain_inputs_unsound.stderr

   1 error[E0582]: binding for associated type `Output` references lifetime `'a`, which does not appear in the trait input types
   2   --> $DIR/constrain_inputs_unsound.rs:23:58
   3    |
   4 LL |     type MalformedTy = dyn for<'a> Callable<Gal<&'a ()>, Output = &'a str>;
   5    |                                                          ^^^^^^^^^^^^^^^^
   6
   7 error: aborting due to previous error
   8
   9 For more information about this error, try `rustc --explain E0582`.