diff options
| author | kadmin <julianknodt@gmail.com> | 2022-01-27 14:40:38 +0000 |
|---|---|---|
| committer | kadmin <julianknodt@gmail.com> | 2022-01-27 14:40:55 +0000 |
| commit | 1c4fe64bdcb0cc27c91c5405430f0ca189fcd065 (patch) | |
| tree | 0c2acfdd301bd07f28eaa12edb016fbc7dcd27bf /src/test/ui | |
| parent | 21b4a9cfdcbb1e76f4b36b5c3cfd64d627285093 (diff) | |
| download | rust-1c4fe64bdcb0cc27c91c5405430f0ca189fcd065.tar.gz rust-1c4fe64bdcb0cc27c91c5405430f0ca189fcd065.zip | |
Continue work on assoc const eq
Diffstat (limited to 'src/test/ui')
| -rw-r--r-- | src/test/ui/associated-consts/assoc-const.rs | 11 | ||||
| -rw-r--r-- | src/test/ui/associated-consts/assoc-const.stderr | 14 |
2 files changed, 6 insertions, 19 deletions
diff --git a/src/test/ui/associated-consts/assoc-const.rs b/src/test/ui/associated-consts/assoc-const.rs index cd4b42f9f84..9c7884c8073 100644 --- a/src/test/ui/associated-consts/assoc-const.rs +++ b/src/test/ui/associated-consts/assoc-const.rs @@ -1,4 +1,6 @@ +// run-pass #![feature(associated_const_equality)] +#![allow(unused)] pub trait Foo { const N: usize; @@ -13,9 +15,8 @@ impl Foo for Bar { const TEST:usize = 3; -fn foo<F: Foo<N=3>>() {} -//~^ ERROR associated const equality is incomplete -fn bar<F: Foo<N={TEST}>>() {} -//~^ ERROR associated const equality is incomplete +fn foo<F: Foo<N=3usize>>() {} -fn main() {} +fn main() { + foo::<Bar>() +} diff --git a/src/test/ui/associated-consts/assoc-const.stderr b/src/test/ui/associated-consts/assoc-const.stderr deleted file mode 100644 index ccaa6fa8ee8..00000000000 --- a/src/test/ui/associated-consts/assoc-const.stderr +++ /dev/null @@ -1,14 +0,0 @@ -error: associated const equality is incomplete - --> $DIR/assoc-const.rs:16:15 - | -LL | fn foo<F: Foo<N=3>>() {} - | ^^^ cannot yet relate associated const - -error: associated const equality is incomplete - --> $DIR/assoc-const.rs:18:15 - | -LL | fn bar<F: Foo<N={TEST}>>() {} - | ^^^^^^^^ cannot yet relate associated const - -error: aborting due to 2 previous errors - |