error[E0224]: at least one trait is required for an object type
  --> $DIR/issue-65673.rs:9:16
   |
LL | trait Alias<T> = where T: Trait;
   | -------------- this alias does not contain a trait
...
LL |     type Ctx = dyn Alias<T>;
   |                ^^^^^^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0224`.