9ef5f6817 ^
1 2 3 4 5 6 7 8 9 10 11 12 13
trait Bool { type If[T] } trait False extends Bool { type If[F] = F } class Field[E, N <: Bool](implicit val w: N#If[E]) { type NoNull = Field[E, False] new NoNull }