mirror of https://github.com/rust-lang/rust
23 lines
387 B
Rust
23 lines
387 B
Rust
trait TraitA {
|
|
const VALUE: usize;
|
|
}
|
|
|
|
struct A;
|
|
impl TraitA for A {
|
|
const VALUE: usize = 0;
|
|
}
|
|
|
|
trait TraitB {
|
|
type MyA: TraitA;
|
|
const VALUE: usize = Self::MyA::VALUE;
|
|
}
|
|
|
|
struct B;
|
|
impl TraitB for B { //~ ERROR not all trait items implemented, missing: `MyA`
|
|
type M = A; //~ ERROR type `M` is not a member of trait `TraitB`
|
|
}
|
|
|
|
fn main() {
|
|
let _ = [0; B::VALUE];
|
|
}
|