From d92864f468bec875b943895a6671a9736bccba1f Mon Sep 17 00:00:00 2001 From: "nmc.borst" Date: Wed, 28 Sep 2022 12:40:25 +0200 Subject: [PATCH] Update match-types.md [ref](https://github.com/lampepfl/dotty/issues/16021) --- docs/_docs/reference/new-types/match-types.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/_docs/reference/new-types/match-types.md b/docs/_docs/reference/new-types/match-types.md index 9fcee09c34f5..4f7bec8975db 100644 --- a/docs/_docs/reference/new-types/match-types.md +++ b/docs/_docs/reference/new-types/match-types.md @@ -81,7 +81,8 @@ following conditions are met: 3. The match expression and the match type have the same number of cases 4. The match expression patterns are all [Typed Patterns](https://scala-lang.org/files/archive/spec/2.13/08-pattern-matching.html#typed-patterns), and these types are `=:=` to their corresponding type patterns in the match - type + type, +5. The body of a potentially existing dependently typed method's match expression value level counterpart may not refer to the match type as it is not reduced until that body is compiled. ## Representation of Match Types