src/test/ui/wf/wf-unsafe-trait-obj-match.stderr

   1 error[E0308]: `match` arms have incompatible types
   2   --> $DIR/wf-unsafe-trait-obj-match.rs:23:17
   3    |
   4 LL | /     match opt() {
   5 LL | |         Some(()) => &S,
   6    | |                     -- this is found to be of type `&S`
   7 LL | |         None => &R,
   8    | |                 ^^ expected struct `S`, found struct `R`
   9 LL | |     }
  10    | |_____- `match` arms have incompatible types
  11    |
  12    = note:   expected type `&S`
  13            found reference `&R`
  14
  15 error[E0038]: the trait `Trait` cannot be made into an object
  16   --> $DIR/wf-unsafe-trait-obj-match.rs:26:21
  17    |
  18 LL | trait Trait: Sized {}
  19    |              ----- traits that require `Self: Sized` cannot be made into an object
  20 ...
  21 LL |         Some(()) => &S,
  22    |                     ^^ the trait `Trait` cannot be made into an object
  23    |
  24    = note: required because of the requirements on the impl of `std::ops::CoerceUnsized<&dyn Trait>` for `&S`
  25    = note: required by cast to type `&dyn Trait`
  26
  27 error[E0038]: the trait `Trait` cannot be made into an object
  28   --> $DIR/wf-unsafe-trait-obj-match.rs:25:25
  29    |
  30 LL | trait Trait: Sized {}
  31    |              ----- traits that require `Self: Sized` cannot be made into an object
  32 ...
  33 LL |     let t: &dyn Trait = match opt() {
  34    |                         ^^^^^^^^^^^ the trait `Trait` cannot be made into an object
  35    |
  36    = note: required because of the requirements on the impl of `std::ops::CoerceUnsized<&dyn Trait>` for `&R`
  37    = note: required by cast to type `&dyn Trait`
  38
  39 error: aborting due to 3 previous errors
  40
  41 Some errors have detailed explanations: E0038, E0308.
  42 For more information about an error, try `rustc --explain E0038`.