blob: 1ec9c69989a7f4ac358211e5d7e3abe4b385a321 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// check-pass
//
// regression test for #98702
#![feature(generic_associated_types)]
trait Foo {
type Assoc<T>;
}
impl Foo for () {
type Assoc<T> = [T; 2*2];
}
fn main() {}
|