2021-01-08 16:16:24 -06:00
|
|
|
pub trait Super {
|
|
|
|
type Assoc;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Super for () {
|
|
|
|
type Assoc = u8;
|
|
|
|
}
|
|
|
|
|
|
|
|
pub trait Test {}
|
|
|
|
|
|
|
|
impl<T> Test for T where T: Super<Assoc = ()> {}
|
|
|
|
|
|
|
|
fn test() -> impl Test {
|
2021-08-20 09:47:12 -05:00
|
|
|
//~^ERROR type mismatch resolving `<() as Super>::Assoc == ()`
|
2022-02-11 01:18:06 -06:00
|
|
|
()
|
2021-01-08 16:16:24 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let a = test();
|
|
|
|
}
|