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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// revisions: base extended

#![feature(generic_associated_types)]
#![cfg_attr(extended, feature(generic_associated_types_extended))]
#![cfg_attr(extended, allow(incomplete_features))]

trait CollectionFamily {
    type Member<T>;
}
fn floatify() {
    Box::new(Family) as &dyn CollectionFamily<Member=usize>
    //~^ ERROR: missing generics for associated type
    //[base]~^^ ERROR: the trait `CollectionFamily` cannot be made into an object
}

struct Family;

fn main() {}