src/test/ui/type-alias-impl-trait/never_reveal_concrete_type.stderr

error[E0308]: mismatched types
  --> $DIR/never_reveal_concrete_type.rs:13:27
   |
LL | type NoReveal = impl std::fmt::Debug;
   | ------------------------------------- the found opaque type
...
LL |     let _: &'static str = x;
   |            ------------   ^ expected `&str`, found opaque type
   |            |
   |            expected due to this
   |
   = note: expected reference `&'static str`
            found opaque type `NoReveal`

error[E0605]: non-primitive cast: `NoReveal` as `&'static str`
  --> $DIR/never_reveal_concrete_type.rs:14:13
   |
LL |     let _ = x as &'static str;
   |             ^^^^^^^^^^^^^^^^^
   |
   = note: an `as` expression can only be used to convert between primitive types. Consider using the `From` trait

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0308, E0605.
For more information about an error, try `rustc --explain E0308`.