make lub take lower bounds on method type params into account #5548
Labels
fixed in Scala 3
This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)
infer
lub
Milestone
this should compile since lub(T, U) = S (since T <: S and U <: S)
The text was updated successfully, but these errors were encountered: