diff options
| author | varkor <github@varkor.com> | 2019-05-31 20:49:19 +0100 |
|---|---|---|
| committer | varkor <github@varkor.com> | 2019-05-31 20:49:19 +0100 |
| commit | 5e3ff4c2f195cbaa0412550a997497aa53752e23 (patch) | |
| tree | 128349b4e75df5d0706db4e0564466ce5a9505c1 | |
| parent | 0bfbaa6e8dfb509b453020740fd37c7a22882c87 (diff) | |
| download | rust-5e3ff4c2f195cbaa0412550a997497aa53752e23.tar.gz rust-5e3ff4c2f195cbaa0412550a997497aa53752e23.zip | |
Add test for condition in trait const param
| -rw-r--r-- | src/test/ui/const-generics/condition-in-trait-const-arg.rs | 10 | ||||
| -rw-r--r-- | src/test/ui/const-generics/condition-in-trait-const-arg.stderr | 6 |
2 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/condition-in-trait-const-arg.rs b/src/test/ui/const-generics/condition-in-trait-const-arg.rs new file mode 100644 index 00000000000..18105eb7a75 --- /dev/null +++ b/src/test/ui/const-generics/condition-in-trait-const-arg.rs @@ -0,0 +1,10 @@ +// run-pass + +#![feature(const_generics)] +//~^ WARN the feature `const_generics` is incomplete and may cause the compiler to crash + +trait IsZeroTrait<const IS_ZERO: bool>{} + +impl IsZeroTrait<{0u8 == 0u8}> for () {} + +fn main() {} diff --git a/src/test/ui/const-generics/condition-in-trait-const-arg.stderr b/src/test/ui/const-generics/condition-in-trait-const-arg.stderr new file mode 100644 index 00000000000..7c85651e708 --- /dev/null +++ b/src/test/ui/const-generics/condition-in-trait-const-arg.stderr @@ -0,0 +1,6 @@ +warning: the feature `const_generics` is incomplete and may cause the compiler to crash + --> $DIR/condition-in-trait-const-arg.rs:3:12 + | +LL | #![feature(const_generics)] + | ^^^^^^^^^^^^^^ + |