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

   1 error[E0284]: type annotations needed: cannot satisfy `the constant `use_dyn::<{_: usize}>::{constant#0}` can be evaluated`
   2   --> $DIR/object-safety-ok-infer-err.rs:20:5
   3    |
   4 LL | fn use_dyn<const N: usize>(v: &dyn Foo<N>) where [u8; N + 1]: Sized {
   5    |                                                       ----- required by this bound in `use_dyn`
   6 ...
   7 LL |     use_dyn(&());
   8    |     ^^^^^^^ cannot satisfy `the constant `use_dyn::<{_: usize}>::{constant#0}` can be evaluated`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0284`.