tests/crashes/100041.rs


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

//@ known-bug: #100041

pub trait WellUnformed {
    type RequestNormalize;
}

impl<T: ?Sized> WellUnformed for T {
    type RequestNormalize = ();
}

pub fn latent(_: &[<[[()]] as WellUnformed>::RequestNormalize; 0]) {}

pub fn bang() {
    latent(&[]);
}

fn main() {}