// This merits some explanation.
// Normally, opaque types are not involved when performing
// coherence checking, since it is illegal to directly
// This merits some explanation.
// Normally, opaque types are not involved when performing
// coherence checking, since it is illegal to directly