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

   1 error[E0277]: the size for values of type `(dyn Trait + 'static)` cannot be known at compilation time
   2   --> $DIR/issue-65673.rs:9:16
   3    |
   4 LL | trait WithType {
   5    |       -------- required by a bound in this
   6 LL |     type Ctx;
   7    |     --------- required by this bound in `WithType`
   8 ...
   9 LL |     type Ctx = dyn Alias<T>;
  10    |                ^^^^^^^^^^^^ doesn't have a size known at compile-time
  11    |
  12    = help: the trait `std::marker::Sized` is not implemented for `(dyn Trait + 'static)`
  13    = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
  14
  15 error: aborting due to previous error
  16
  17 For more information about this error, try `rustc --explain E0277`.