blob: 576c7545924b3c3629cf24add9dfaaee21258670 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
//@ check-pass
trait Mirror {
type It;
}
impl<T> Mirror for T {
type It = Self;
}
fn main() {
let c: <u32 as Mirror>::It = 5;
const CCCC: <u32 as Mirror>::It = 5;
}
|