scala-supertagged icon indicating copy to clipboard operation
scala-supertagged copied to clipboard

Published 20 hours ago • verified publisher icon rudogma

Make NewType and Extractor irrefutable extractors

Open morgen-peschke opened this issue 2 years ago • 1 comments

TL;DR: This way they won't disable exhaustiveness checking.

The documentation for irrefutable extractors is pretty terse in the 2.12 spec, but the use of Some explicitly called out in the 2.13 spec should still work in 2.12.

This change shouldn't cause any trouble in earlier versions (tested as far back as 2.10.6)

morgen-peschke avatar Nov 23 '22 18:11 morgen-peschke