scala3-NSizeExamples.scala

scala> val zero0: 0 = 0
val zero0: 0 = 0

scala> val zero1: 0 = 1
1 |val zero1: 0 = 1
  |               ^
  |               Found:    (1 : Int)
  |               Required: (0 : Int)

scala> val one0: 1 = 0
1 |val one0: 1 = 0
  |              ^
  |              Found:    (0 : Int)
  |              Required: (1 : Int)

scala> val one1: 1 = 1
val one1: 1 = 1

scala> val one: NSize[1] = 2
1 |val one: NSize[1] = 2
  |                    ^
  |                    Found:    (2 : Int)
  |                    Required: (1 : Int)