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.