src/test/ui/type-alias-impl-trait/no_revealing_outside_defining_module.full_tait.stderr

   1 warning: the feature `type_alias_impl_trait` is incomplete and may not be safe to use and/or cause compiler crashes
   2   --> $DIR/no_revealing_outside_defining_module.rs:3:32
   3    |
   4 LL | #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   5    |                                ^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: `#[warn(incomplete_features)]` on by default
   8    = note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
   9
  10 error[E0308]: mismatched types
  11   --> $DIR/no_revealing_outside_defining_module.rs:18:19
  12    |
  13 LL |     pub type Boo = impl ::std::fmt::Debug;
  14    |                    ---------------------- the found opaque type
  15 ...
  16 LL |     let _: &str = bomp();
  17    |            ----   ^^^^^^ expected `&str`, found opaque type
  18    |            |
  19    |            expected due to this
  20    |
  21    = note: expected reference `&str`
  22             found opaque type `impl Debug`
  23
  24 error[E0308]: mismatched types
  25   --> $DIR/no_revealing_outside_defining_module.rs:22:5
  26    |
  27 LL |     pub type Boo = impl ::std::fmt::Debug;
  28    |                    ---------------------- the expected opaque type
  29 ...
  30 LL | fn bomp() -> boo::Boo {
  31    |              -------- expected `impl Debug` because of return type
  32 LL |     ""
  33    |     ^^ expected opaque type, found `&str`
  34    |
  35    = note: expected opaque type `impl Debug`
  36                 found reference `&'static str`
  37
  38 error: aborting due to 2 previous errors; 1 warning emitted
  39
  40 For more information about this error, try `rustc --explain E0308`.