Skip to content

Commit 273d355

Browse files
authored
[Patterns] Mention of an empty map is removed (#2971)
1 parent 8ffcaff commit 273d355

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

accepted/future-releases/0546-patterns/feature-specification.md

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1859,9 +1859,7 @@ The context type schema for a pattern `p` is:
18591859
18601860
1. If `p` has type arguments then `K`, and `V` are those type arguments.
18611861
1862-
2. Else if `p` has no entries, then `K` and `V` are `_`.
1863-
1864-
3. Else `K` is `_` and `V` is the greatest lower bound of the context type
1862+
2. Else `K` is `_` and `V` is the greatest lower bound of the context type
18651863
schemas of all value subpatterns.
18661864
18671865
* **Record**: A record type schema with positional and named fields

0 commit comments

Comments
 (0)