src/share/classes/com/sun/tools/javac/comp/Infer.java

changeset 298
3ac205ad1f05
parent 229
03bcd66bd8e7
child 299
22872b24d38c
equal deleted inserted replaced
297:3d539f4123b8 298:3ac205ad1f05
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

mercurial