tests/ui/associated-types/defaults-specialization.stderr

warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
  --> $DIR/defaults-specialization.rs:3:38
   |
LL | #![feature(associated_type_defaults, specialization)]
   |                                      ^^^^^^^^^^^^^^
   |
   = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
   = help: consider using `min_specialization` instead, which is more stable and complete
   = note: `#[warn(incomplete_features)]` on by default

error[E0053]: method `make` has an incompatible type for trait
  --> $DIR/defaults-specialization.rs:19:18
   |
LL |     fn make() -> u8 { 0 }
   |                  ^^ expected associated type, found `u8`
   |
note: type in trait
  --> $DIR/defaults-specialization.rs:9:18
   |
LL |     fn make() -> Self::Ty {
   |                  ^^^^^^^^
   = note: expected signature `fn() -> <A<T> as Tr>::Ty`
              found signature `fn() -> u8`
help: change the output type to match the trait
   |
LL -     fn make() -> u8 { 0 }
LL +     fn make() -> <A<T> as Tr>::Ty { 0 }
   |

error[E0053]: method `make` has an incompatible type for trait
  --> $DIR/defaults-specialization.rs:35:18
   |
LL |     default type Ty = bool;
   |     --------------- associated type is `default` and may be overridden
LL |
LL |     fn make() -> bool { true }
   |                  ^^^^ expected associated type, found `bool`
   |
note: type in trait
  --> $DIR/defaults-specialization.rs:9:18
   |
LL |     fn make() -> Self::Ty {
   |                  ^^^^^^^^
   = note: expected signature `fn() -> <B<T> as Tr>::Ty`
              found signature `fn() -> bool`
help: change the output type to match the trait
   |
LL -     fn make() -> bool { true }
LL +     fn make() -> <B<T> as Tr>::Ty { true }
   |

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:10:9
   |
LL |     type Ty = u8;
   |     ------- associated type defaults can't be assumed inside the trait defining them
LL |
LL |     fn make() -> Self::Ty {
   |                  -------- expected `<Self as Tr>::Ty` because of return type
LL |         0u8
   |         ^^^ expected associated type, found `u8`
   |
   = note: expected associated type `<Self as Tr>::Ty`
                         found type `u8`

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:26:29
   |
LL |     fn make() -> Self::Ty { 0u8 }
   |                  --------   ^^^ expected associated type, found `u8`
   |                  |
   |                  expected `<A2<T> as Tr>::Ty` because of return type
   |
   = note: expected associated type `<A2<T> as Tr>::Ty`
                         found type `u8`
   = help: consider constraining the associated type `<A2<T> as Tr>::Ty` to `u8` or calling a method that returns `<A2<T> as Tr>::Ty`
   = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
   = note: the associated type `<A2<T> as Tr>::Ty` is defined as `u8` in the implementation, but the where-bound `A2<T>` shadows this definition
           see issue #152409 <https://github.com/rust-lang/rust/issues/152409> for more information

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:44:29
   |
LL |     default type Ty = bool;
   |     --------------- associated type is `default` and may be overridden
LL |
LL |     fn make() -> Self::Ty { true }
   |                  --------   ^^^^ expected associated type, found `bool`
   |                  |
   |                  expected `<B2<T> as Tr>::Ty` because of return type
   |
   = note: expected associated type `<B2<T> as Tr>::Ty`
                         found type `bool`
   = note: the associated type `<B2<T> as Tr>::Ty` is defined as `bool` in the implementation, but the where-bound `B2<T>` shadows this definition
           see issue #152409 <https://github.com/rust-lang/rust/issues/152409> for more information

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:87:32
   |
LL |     let _: <B<()> as Tr>::Ty = 0u8;
   |            -----------------   ^^^ expected associated type, found `u8`
   |            |
   |            expected due to this
   |
   = note: expected associated type `<B<()> as Tr>::Ty`
                         found type `u8`
help: a method is available that returns `<B<()> as Tr>::Ty`
  --> $DIR/defaults-specialization.rs:9:5
   |
LL |     fn make() -> Self::Ty {
   |     ^^^^^^^^^^^^^^^^^^^^^ consider calling `Tr::make`

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:88:32
   |
LL |     let _: <B<()> as Tr>::Ty = true;
   |            -----------------   ^^^^ expected associated type, found `bool`
   |            |
   |            expected due to this
   |
   = note: expected associated type `<B<()> as Tr>::Ty`
                         found type `bool`
help: a method is available that returns `<B<()> as Tr>::Ty`
  --> $DIR/defaults-specialization.rs:9:5
   |
LL |     fn make() -> Self::Ty {
   |     ^^^^^^^^^^^^^^^^^^^^^ consider calling `Tr::make`
   = note: the associated type `<B<()> as Tr>::Ty` is defined as `bool` in the implementation, but the where-bound `B<()>` shadows this definition
           see issue #152409 <https://github.com/rust-lang/rust/issues/152409> for more information

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:89:33
   |
LL |     let _: <B2<()> as Tr>::Ty = 0u8;
   |            ------------------   ^^^ expected associated type, found `u8`
   |            |
   |            expected due to this
   |
   = note: expected associated type `<B2<()> as Tr>::Ty`
                         found type `u8`
help: a method is available that returns `<B2<()> as Tr>::Ty`
  --> $DIR/defaults-specialization.rs:9:5
   |
LL |     fn make() -> Self::Ty {
   |     ^^^^^^^^^^^^^^^^^^^^^ consider calling `Tr::make`

error[E0308]: mismatched types
  --> $DIR/defaults-specialization.rs:90:33
   |
LL |     let _: <B2<()> as Tr>::Ty = true;
   |            ------------------   ^^^^ expected associated type, found `bool`
   |            |
   |            expected due to this
   |
   = note: expected associated type `<B2<()> as Tr>::Ty`
                         found type `bool`
help: a method is available that returns `<B2<()> as Tr>::Ty`
  --> $DIR/defaults-specialization.rs:9:5
   |
LL |     fn make() -> Self::Ty {
   |     ^^^^^^^^^^^^^^^^^^^^^ consider calling `Tr::make`
   = note: the associated type `<B2<()> as Tr>::Ty` is defined as `bool` in the implementation, but the where-bound `B2<()>` shadows this definition
           see issue #152409 <https://github.com/rust-lang/rust/issues/152409> for more information

error: aborting due to 9 previous errors; 1 warning emitted

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