156 that.inst = that.hibounds.head; |
156 that.inst = that.hibounds.head; |
157 else |
157 else |
158 that.inst = types.glb(that.hibounds); |
158 that.inst = types.glb(that.hibounds); |
159 } |
159 } |
160 if (that.inst == null || |
160 if (that.inst == null || |
161 that.inst.isErroneous() || |
161 that.inst.isErroneous()) |
162 !types.isSubtypeUnchecked(that.inst, that.hibounds, warn)) |
|
163 throw ambiguousNoInstanceException |
162 throw ambiguousNoInstanceException |
164 .setMessage("no.unique.maximal.instance.exists", |
163 .setMessage("no.unique.maximal.instance.exists", |
165 that.qtype, that.hibounds); |
164 that.qtype, that.hibounds); |
166 } |
165 } |
167 //where |
166 //where |