//@ run-pass
//@ check-run-results

#![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() {
    println!("{}", i32::CONST);
}