Just a placeholder. This site is comically neglected. Someday I’ll fix that.
For now, here’s some random Rust code.
// Implicitly impl a trait for a type if it impls the trait's super traits via a blanket impl. trait SayYes { fn say_yes(&self); } trait SayNo { fn say_no(&self); } trait SayYesAndNo: SayYes + SayNo {} // Comment this line out and the code won't compile due to SuffixedSayer missing a SayYesAndNo impl.
Read more...