blob: 7b205952f52bcee72b0e11fb029ede4d555331a6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#![feature(inherent_associated_types)]
#![allow(incomplete_features)]
struct Parameterized<T, U>(T, U);
impl Parameterized<(), ()> {
type Output = bool;
}
impl<T> Parameterized<bool, T> {
type Result = T;
}
fn main() {
let _: Parameterized<(), ()>::Output = String::new(); //~ ERROR mismatched types
let _: Parameterized<bool, u32>::Result = (); //~ ERROR mismatched types
}
|