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
does not treat F in the type of the scrutinee of the match as a free type param, which is needed to allow the constructor pattern of type Foo[List] to be allowed.
It turns out that this exclusion is overly conservative and the bug it was originally introduced to avoid was later fixed independently in this commit.
The text was updated successfully, but these errors were encountered:
In the following the, pattern matches should refine
F
toList
,It doesn't because of this defensive move ... according to @retronym this,
It turns out that this exclusion is overly conservative and the bug it was originally introduced to avoid was later fixed independently in this commit.
The text was updated successfully, but these errors were encountered: