Module impl_validation 

Impl block validation: class system compatibility and label uniqueness.

• MXL008: Trait impl class system incompatible with inherent impl.
• MXL009: Multiple impl blocks for one type without labels.
• MXL010: Duplicate labels on impl blocks for one type.

Functions

check