src/test/ui/traits/issue-65673.stderr

   1 error[E0224]: at least one trait is required for an object type
   2   --> $DIR/issue-65673.rs:9:16
   3    |
   4 LL | trait Alias<T> = where T: Trait;
   5    | -------------- this alias does not contain a trait
   6 ...
   7 LL |     type Ctx = dyn Alias<T>;
   8    |                ^^^^^^^^^^^^
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0224`.