blob: af8191a9cb919614c8be3be2ca9a4ff0f64e99fe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Enormous types are allowed if they are never actually instantiated.
// run-pass
trait Foo {
type Assoc;
}
impl Foo for [u16; usize::MAX] {
type Assoc = u32;
}
fn main() {
let _a: Option<<[u16; usize::MAX] as Foo>::Assoc> = None;
}
|