- # Quick and dirty check that a forced type resolution gives a legal type
- # TODO: move up in the model and kill `can_resolve_for`
- private fun is_valid_type(mtype: MType): Bool
- do
- if mtype isa MGenericType then
- return mtype.is_subtype(mainmodule, null, mtype.mclass.intro.bound_mtype)
- end
- return true
- end
-