checkType method
Implementation
@override
ConstructType checkType(CType t) {
if (t is RecClass) {
final ty = t.getType();
if (ty == null) {
throw UnsupportedError('Type is unsupported.');
}
return ty;
}
throw TypeError();
}