src/test/ui/assoc-inherent.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// Test that inherent associated types work with
// inherent_associated_types feature gate.

#![feature(inherent_associated_types)]
#![allow(incomplete_features)]

struct Foo;

impl Foo {
    type Bar = isize;
}

impl Foo {
    type Baz; //~ ERROR associated type in `impl` without body
}

fn main() {
    let x : Foo::Bar; //~ERROR ambiguous associated type
    x = 0isize;
}