blob: 52627004fb246094dd2c01de2cd48c9555d265b6 (
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#![feature(const_trait_impl)]
#[const_trait]
trait Trait {}
// Regression test for issue #90052.
fn non_const_function<T: [const] Trait>() {} //~ ERROR `[const]` is not allowed
struct Struct<T: [const] Trait> { field: T } //~ ERROR `[const]` is not allowed here
struct TupleStruct<T: [const] Trait>(T); //~ ERROR `[const]` is not allowed here
struct UnitStruct<T: [const] Trait>; //~ ERROR `[const]` is not allowed here
//~^ ERROR parameter `T` is never used
enum Enum<T: [const] Trait> { Variant(T) } //~ ERROR `[const]` is not allowed here
union Union<T: [const] Trait> { field: T } //~ ERROR `[const]` is not allowed here
//~^ ERROR field must implement `Copy`
type Type<T: [const] Trait> = T; //~ ERROR `[const]` is not allowed here
const CONSTANT<T: [const] Trait>: () = (); //~ ERROR `[const]` is not allowed here
//~^ ERROR generic const items are experimental
trait NonConstTrait {
type Type<T: [const] Trait>: [const] Trait;
//~^ ERROR `[const]` is not allowed
//~| ERROR `[const]` is not allowed
fn non_const_function<T: [const] Trait>(); //~ ERROR `[const]` is not allowed
const CONSTANT<T: [const] Trait>: (); //~ ERROR `[const]` is not allowed
//~^ ERROR generic const items are experimental
}
impl NonConstTrait for () {
type Type<T: [const] Trait> = (); //~ ERROR `[const]` is not allowed
//~^ ERROR overflow evaluating the requirement `(): Trait`
fn non_const_function<T: [const] Trait>() {} //~ ERROR `[const]` is not allowed
const CONSTANT<T: [const] Trait>: () = (); //~ ERROR `[const]` is not allowed
//~^ ERROR generic const items are experimental
}
struct Implementor;
impl Implementor {
type Type<T: [const] Trait> = (); //~ ERROR `[const]` is not allowed
//~^ ERROR inherent associated types are unstable
fn non_const_function<T: [const] Trait>() {} //~ ERROR `[const]` is not allowed
const CONSTANT<T: [const] Trait>: () = (); //~ ERROR `[const]` is not allowed
//~^ ERROR generic const items are experimental
}
// non-const traits
trait Child0: [const] Trait {} //~ ERROR `[const]` is not allowed
trait Child1 where Self: [const] Trait {} //~ ERROR `[const]` is not allowed
// non-const impl
impl<T: [const] Trait> Trait for T {} //~ ERROR `[const]` is not allowed
// inherent impl (regression test for issue #117004)
impl<T: [const] Trait> Struct<T> {} //~ ERROR `[const]` is not allowed
fn main() {}
|
