blob: b8ebbdc5abc3ed7838bb6117ae2d1c41688bb8c2 (
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;
}
|