summaryrefslogtreecommitdiffstats
path: root/tests/ui/error-codes/E0271.rs
blob: f27190754348aad42822f9d2d830ed6688b2af10 (plain)
1
2
3
4
5
6
7
8
9
10
11
trait Trait { type AssociatedType; }

fn foo<T>(t: T) where T: Trait<AssociatedType=u32> {
    println!("in foo");
}

impl Trait for i8 { type AssociatedType = &'static str; }

fn main() {
    foo(3_i8); //~ ERROR E0271
}