Enforce [this] to be subtype of [t].
public override bool Require(MType);
public override bool Require(TyVar);
MType Class | Nemerle.Compiler Namespace