We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ed8c6ee commit e2bd6ebCopy full SHA for e2bd6eb
docs/docs/reference/new-types/match-types.md
@@ -17,7 +17,7 @@ This defines a type that, depending on the scrutinee type `X`, can reduce to one
17
Elem[String] =:= Char
18
Elem[Array[Int]] =:= Int
19
Elem[List[Float]] =:= Float
20
- Elem[Nil] =:= Nothing
+ Elem[Nil.type] =:= Nothing
21
```
22
Here `=:=` is understood to mean that left and right hand sides are mutually subtypes of each other.
23
0 commit comments