1 error[E0277]: the size for values of type `(dyn Trait + 'static)` cannot be known at compilation time
2 --> $DIR/issue-65673.rs:9:5
4 LL | type Ctx = dyn Alias<T>;
5 | ^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
7 = help: the trait `Sized` is not implemented for `(dyn Trait + 'static)`
8 note: required by a bound in `WithType::Ctx`
9 --> $DIR/issue-65673.rs:4:5
12 | ^^^^^^^^^ required by this bound in `WithType::Ctx`
14 error: aborting due to previous error
16 For more information about this error, try `rustc --explain E0277`.