diff options
Diffstat (limited to 'spec/08-pattern-matching.md')
| -rw-r--r-- | spec/08-pattern-matching.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/08-pattern-matching.md b/spec/08-pattern-matching.md index 38eabf29c5..ecaaa04c2b 100644 --- a/spec/08-pattern-matching.md +++ b/spec/08-pattern-matching.md @@ -441,7 +441,7 @@ complexity. ### Type parameter inference for constructor patterns Assume a constructor pattern $C(p_1 , \ldots , p_n)$ where class $C$ -has type type parameters $a_1 , \ldots , a_n$. These type parameters +has type parameters $a_1 , \ldots , a_n$. These type parameters are inferred in the same way as for the typed pattern `(_: $C[a_1 , \ldots , a_n]$)`. |