Construct aiming at facilitate the application of Refinements on fields, as it's made tricky due to the GADT nature of fields.
- Companion:
- object
class Object
trait Matchable
class Any
Construct aiming at facilitate the application of Refinements on fields, as it's made tricky due to the GADT nature of fields.