i.e. ```C X : []A { ::B() { }, ::() { }, { } } ``` and ```C X : [A : C] { A::B() { } : C::D() { } } ```