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
It might be possible to optimize away extra Tuple boxing in cases where map is not immediately followed by withFilter. More investigation is needed here.
The text was updated successfully, but these errors were encountered:
There's this scala wart: scala/scala3#2573
It might be possible to optimize away extra
Tuple
boxing in cases wheremap
is not immediately followed bywithFilter
. More investigation is needed here.The text was updated successfully, but these errors were encountered: