-
Bug
-
Resolution: Fixed
-
P3
-
None
-
Verified
Resolution, if it falls back to the capture variable solution (alpha <: List<alpha>, alpha <: ArrayList<alpha>), performs glb and lub on types that may involve these fresh capture variables, before the variables' bounds are well-defined. It's impossible to do correct subtype checks on these partially-defined variables.
As a minimum, lub should not be invoked on non-proper types.
As a minimum, lub should not be invoked on non-proper types.