diff options
| author | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-10-26 12:46:20 +0100 |
|---|---|---|
| committer | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-10-26 13:11:00 +0100 |
| commit | 8546a80dc1728cf4bc72de343c2513a0bd6fd10e (patch) | |
| tree | 35333715c1946ae4df804b7584feccee73fbce13 | |
| parent | 0e419efb1c8939a6f476f4aea3117e7a42ebf4b7 (diff) | |
| download | rust-8546a80dc1728cf4bc72de343c2513a0bd6fd10e.tar.gz rust-8546a80dc1728cf4bc72de343c2513a0bd6fd10e.zip | |
add fixme
| -rw-r--r-- | src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.rs | 1 | ||||
| -rw-r--r-- | src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.stderr | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.rs b/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.rs index 0f85952b4e4..9a95908d59d 100644 --- a/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.rs +++ b/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.rs @@ -16,6 +16,7 @@ fn use_dyn<const N: usize>(v: &dyn Foo<N>) where [u8; N + 1]: Sized { } fn main() { + // FIXME(const_evaluatable_checked): Improve the error message here. use_dyn(&()); //~^ ERROR type annotations needed } diff --git a/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.stderr b/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.stderr index 3523de2b6ba..dd2c11e42c5 100644 --- a/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.stderr +++ b/src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.stderr @@ -1,5 +1,5 @@ error[E0284]: type annotations needed: cannot satisfy `the constant `use_dyn::<{_: usize}>::{constant#0}` can be evaluated` - --> $DIR/object-safety-ok-infer-err.rs:19:5 + --> $DIR/object-safety-ok-infer-err.rs:20:5 | LL | fn use_dyn<const N: usize>(v: &dyn Foo<N>) where [u8; N + 1]: Sized { | ----- required by this bound in `use_dyn` |