Distinct error type semantics in match patterns

ballerina-platform · Apr 26, 2020 · ceac9f6 · ceac9f6
1 parent 3dbe562
commit ceac9f6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lang/proposals/distinct/distinct.md b/lang/proposals/distinct/distinct.md
@@ -150,4 +150,6 @@ An error error type `error<R>` means that the detail record must belong to the t
 
 ```
     readonly & record {| *R; (anydata|readonly)...; |}
-```
+```
+
+In a match-statement, a error-match-pattern with a user-defined error type should match only if the shape of the value belongs to type.