src/test/ui/generic-associated-types/issue-79422.base.stderr

   1 error[E0107]: missing generics for associated type `MapLike::VRefCont`
   2   --> $DIR/issue-79422.rs:48:36
   3    |
   4 LL |         as Box<dyn MapLike<u8, u8, VRefCont = dyn RefCont<'_, u8>>>;
   5    |                                    ^^^^^^^^ expected 1 lifetime argument
   6    |
   7 note: associated type defined here, with 1 lifetime parameter: `'a`
   8   --> $DIR/issue-79422.rs:24:10
   9    |
  10 LL |     type VRefCont<'a>: RefCont<'a, V> where Self: 'a;
  11    |          ^^^^^^^^ --
  12 help: add missing lifetime argument
  13    |
  14 LL |         as Box<dyn MapLike<u8, u8, VRefCont<'a> = dyn RefCont<'_, u8>>>;
  15    |                                    ~~~~~~~~~~~~
  16
  17 error[E0038]: the trait `MapLike` cannot be made into an object
  18   --> $DIR/issue-79422.rs:48:12
  19    |
  20 LL |         as Box<dyn MapLike<u8, u8, VRefCont = dyn RefCont<'_, u8>>>;
  21    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `MapLike` cannot be made into an object
  22    |
  23 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>
  24   --> $DIR/issue-79422.rs:24:10
  25    |
  26 LL | trait MapLike<K, V> {
  27    |       ------- this trait cannot be made into an object...
  28 LL |     type VRefCont<'a>: RefCont<'a, V> where Self: 'a;
  29    |          ^^^^^^^^ ...because it contains the generic associated type `VRefCont`
  30    = help: consider moving `VRefCont` to another trait
  31
  32 error[E0038]: the trait `MapLike` cannot be made into an object
  33   --> $DIR/issue-79422.rs:45:13
  34    |
  35 LL |     let m = Box::new(std::collections::BTreeMap::<u8, u8>::new())
  36    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `MapLike` cannot be made into an object
  37    |
  38 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>
  39   --> $DIR/issue-79422.rs:24:10
  40    |
  41 LL | trait MapLike<K, V> {
  42    |       ------- this trait cannot be made into an object...
  43 LL |     type VRefCont<'a>: RefCont<'a, V> where Self: 'a;
  44    |          ^^^^^^^^ ...because it contains the generic associated type `VRefCont`
  45    = help: consider moving `VRefCont` to another trait
  46    = note: required because of the requirements on the impl of `CoerceUnsized<Box<dyn MapLike<u8, u8, VRefCont = (dyn RefCont<'_, u8> + 'static)>>>` for `Box<BTreeMap<u8, u8>>`
  47    = note: required by cast to type `Box<dyn MapLike<u8, u8, VRefCont = (dyn RefCont<'_, u8> + 'static)>>`
  48
  49 error: aborting due to 3 previous errors
  50
  51 Some errors have detailed explanations: E0038, E0107.
  52 For more information about an error, try `rustc --explain E0038`.