From 8546a80dc1728cf4bc72de343c2513a0bd6fd10e Mon Sep 17 00:00:00 2001 From: Bastian Kauschke Date: Mon, 26 Oct 2020 12:46:20 +0100 Subject: [PATCH] add fixme --- .../const_evaluatable_checked/object-safety-ok-infer-err.rs | 1 + .../const_evaluatable_checked/object-safety-ok-infer-err.stderr | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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 @@ impl Foo for () { } 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(v: &dyn Foo) where [u8; N + 1]: Sized { | ----- required by this bound in `use_dyn` -- 2.44.0