src/test/ui/const-generics/generic_const_exprs/object-safety-err-where-bounds.stderr

   1 error: the trait `Foo` cannot be made into an object
   2   --> $DIR/object-safety-err-where-bounds.rs:9:8
   3    |
   4 LL |     fn test(&self) where [u8; bar::<Self>()]: Sized;
   5    |        ^^^^
   6    |
   7 note: the lint level is defined here
   8   --> $DIR/object-safety-err-where-bounds.rs:3:9
   9    |
  10 LL | #![deny(where_clauses_object_safety)]
  11    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  12    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  13    = note: for more information, see issue #51443 <https://github.com/rust-lang/rust/issues/51443>
  14 note: for a trait to be "object safe" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit <https://doc.rust-lang.org/reference/items/traits.html#object-safety>
  15   --> $DIR/object-safety-err-where-bounds.rs:9:8
  16    |
  17 LL | trait Foo {
  18    |       --- this trait cannot be made into an object...
  19 LL |     fn test(&self) where [u8; bar::<Self>()]: Sized;
  20    |        ^^^^ ...because method `test` references the `Self` type in its `where` clause
  21    = help: consider moving `test` to another trait
  22
  23 error: aborting due to previous error
  24