public bool IsAssignableTo(RootEnvironment rootEnv, TypeRef other) { var thisTypeEnv = Enter(rootEnv); var otherTypeEnv = other.Enter(rootEnv); return(thisTypeEnv.Type.PrimInstanceIsAssignableTo (rootEnv.ToGround(), thisTypeEnv.Assembly, thisTypeEnv.TypeBoundArguments, otherTypeEnv.Assembly, otherTypeEnv.Type, otherTypeEnv.TypeBoundArguments)); }