blob: 11a8cdba4b006f146be802322ed8f9ccc544061c (
plain) (
blame)
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
}
|