pub type OwnershipError = TyCheckError;

Implementations