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
Commit Message Bot (anonymous) said:
(extempore in r25225) evalOnce needs to pack the type before using it on new valdefs
to avoid existential mismatches. Closes #3960, review by moors.
revealed during Paul's resurrection of the tree checkers
this fails to -Ycheck:typer
the problem is the synthetic
val ev$$1: C[_$$2] = c
that's generated, whereC[_$$2]
is unpacked since it just reuses the type of the treec
.The text was updated successfully, but these errors were encountered: