Type Definition Placeholder
impl_inheritance
type Placeholder = Infallible;
impl SuperType for Placeholder
type SupType = Placeholder