nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-01-26 14:43:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

add fixme

Browse Source
This commit is contained in:
Bastian Kauschke 2020-10-26 12:46:20 +01:00
parent 0e419efb1c
commit 8546a80dc1
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.rs
View File

@ -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
}

2
src/test/ui/const-generics/const_evaluatable_checked/object-safety-ok-infer-err.stderr
View File

@ -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`