fe1f2b8096 ^
3fe7b8c0a8 ^
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 }