summaryrefslogtreecommitdiffstats
path: root/tests/ui/inference/erase-type-params-in-label.rs
blob: 1fea2da92da94367ec01ededabbbd74b014bde3f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
fn main() {
    let foo = foo(1, ""); //~ ERROR E0283
}
fn baz() {
    let bar = bar(1, ""); //~ ERROR E0283
}

struct Bar<T, K, N: Default> {
    t: T,
    k: K,
    n: N,
}

fn bar<T, K, Z: Default>(t: T, k: K) -> Bar<T, K, Z> {
    Bar { t, k, n: Default::default() }
}

struct Foo<T, K, N: Default, M: Default> {
    t: T,
    k: K,
    n: N,
    m: M,
}

fn foo<T, K, W: Default, Z: Default>(t: T, k: K) -> Foo<T, K, W, Z> {
    Foo { t, k, n: Default::default(), m: Default::default() }
}