Skip to content

Commit

Permalink
add fixme
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Oct 26, 2020
1 parent 0e419ef commit 8546a80
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
Expand Up @@ -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
}
@@ -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`
Expand Down

0 comments on commit 8546a80

Please sign in to comment.