tests/ui/parser/item-free-type-bounds-semantic-fail.rs


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

fn main() {}

fn semantics() {
    type A: Ord;
    //~^ ERROR bounds on `type`s in this context have no effect
    //~| ERROR free type alias without body
    type B: Ord = u8;
    //~^ ERROR bounds on `type`s in this context have no effect
    type C: Ord where 'static: 'static = u8;
    //~^ ERROR bounds on `type`s in this context have no effect
    type D<_T>: Ord;
    //~^ ERROR bounds on `type`s in this context have no effect
    //~| ERROR free type alias without body
    type E<_T>: Ord = u8;
    //~^ ERROR bounds on `type`s in this context have no effect
    //~| ERROR type parameter `_T` is never used
    type F<_T>: Ord where 'static: 'static = u8;
    //~^ ERROR bounds on `type`s in this context have no effect
    //~| ERROR type parameter `_T` is never used
}