src/test/ui/generic-associated-types/issue-78671.rs

   1 // revisions: base extended
   2
   3 #![cfg_attr(extended, feature(generic_associated_types_extended))]
   4 #![cfg_attr(extended, allow(incomplete_features))]
   5
   6 trait CollectionFamily {
   7     type Member<T>;
   8 }
   9 fn floatify() {
  10     Box::new(Family) as &dyn CollectionFamily<Member=usize>
  11     //~^ ERROR: missing generics for associated type
  12     //[base]~^^ ERROR: the trait `CollectionFamily` cannot be made into an object
  13 }
  14
  15 struct Family;
  16
  17 fn main() {}