Closed Zuchos closed 1 month ago
Ok, looks like a duplicate of https://github.com/scala/bug/issues/13041 In particular, this comment proves that the filter is not the case https://github.com/scala/bug/issues/13041#issuecomment-2377958799
Thanks, I verified the example does not warn on head.
After bumping Scala to 2.13.15 with an unused warning, I'm getting a false positive warning. I extracted a synthetic case
Reproduction steps
Scala version: 2.13.15