blob: f55a832c52fc40ea60a63dc595273c42d2157311 (
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 NotNull = Field[E, False]
new NotNull
}
|