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