1 error[E0308]: mismatched types
2 --> $DIR/issue-79518-default_trait_method_normalization.rs:16:32
4 LL | Self::AssocInstance == [(); std::mem::size_of::<Self::Assoc>()];
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected associated type, found array `[(); _]`
7 = note: expected associated type `<Self as Foo>::Assoc`
9 = help: consider constraining the associated type `<Self as Foo>::Assoc` to `[(); _]` or calling a method that returns `<Self as Foo>::Assoc`
10 = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0308`.