Mark never/unknown types RFC as implemented
This commit is contained in:
parent
b39fcc7e77
commit
4692c55687
|
@ -1,5 +1,7 @@
|
||||||
# never and unknown types
|
# never and unknown types
|
||||||
|
|
||||||
|
**Status**: Implemented
|
||||||
|
|
||||||
## Summary
|
## Summary
|
||||||
|
|
||||||
Add `unknown` and `never` types that are inhabited by everything and nothing respectively.
|
Add `unknown` and `never` types that are inhabited by everything and nothing respectively.
|
||||||
|
|
Loading…
Reference in New Issue