blob: 01d045b9fb74f77cc1fa0383f7779bef59c69fe4 [file] [edit]
//@ run-pass
#![feature(supertrait_item_shadowing)]
#![allow(dead_code)]
trait A {
const CONST: i32;
}
impl<T> A for T {
const CONST: i32 = 1;
}
trait B: A {
const CONST: i32;
}
impl<T> B for T {
const CONST: i32 = 2;
}
fn main() {
assert_eq!(i32::CONST, 2)
}