Closed
Description
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;
}
<anon>:5:40: 5:41 error: mismatched types:
expected `<u32 as Mirror>::It`,
found `_`
(expected associated type,
found integral variable) [E0308]
<anon>:5 const CCCC : <u32 as Mirror>::It = 5;
^
<anon>:5:40: 5:41 help: see the detailed explanation for E0308
error: aborting due to previous error