src/test/ui/const-generics/generic_const_exprs/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 |     use_dyn(&());
   5    |     ^^^^^^^ cannot satisfy `the constant `use_dyn::<{_: usize}>::{constant#0}` can be evaluated`
   6    |
   7 note: required by a bound in `use_dyn`
   8   --> $DIR/object-safety-ok-infer-err.rs:14:55
   9    |
  10 LL | fn use_dyn<const N: usize>(v: &dyn Foo<N>) where [u8; N + 1]: Sized {
  11    |                                                       ^^^^^ required by this bound in `use_dyn`
  12
  13 error: aborting due to previous error
  14
  15 For more information about this error, try `rustc --explain E0284`.