You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@paulp said:
Putting 2+2 together, I keep running across this code and thinking "how can this be right?" but I forgot I'd opened this bug. I can't follow the logic at a glance, but this unlikely treatment of intersection types feels relevant.
// if at least one of the types in an intersection is checkable, use the checkable ones// this avoids problems as in run/matchonseq.scala, where the expected type is `Coll with scala.collection.SeqLike`// Coll is an abstract type, but SeqLike of course is notcaseRefinedType(ps, _) if ps.length >1&& (ps exists infer.isCheckable) =>None
The text was updated successfully, but these errors were encountered: