diff options
author | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-10-05 07:59:35 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-10-05 07:59:35 +0200 |
commit | ab4408e307d3010e62f877073a96e41239abc2ce (patch) | |
tree | 17eb8373dcf1734961616f2a32a82fe2be653748 /spec/08-pattern-matching.md | |
parent | 611d1c7744b8c2286ddd1aa98cc158df35a0ed43 (diff) | |
parent | 8b5f50f8ed55282ce30db4ecb390d7e75dc6cec5 (diff) | |
download | scala-ab4408e307d3010e62f877073a96e41239abc2ce.tar.gz scala-ab4408e307d3010e62f877073a96e41239abc2ce.tar.bz2 scala-ab4408e307d3010e62f877073a96e41239abc2ce.zip |
Merge pull request #4776 from SethTisue/spec-8.3-tweak
tiny fix to spec (pattern matching section)
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 c494fbcef5..d496388a91 100644 --- a/spec/08-pattern-matching.md +++ b/spec/08-pattern-matching.md @@ -507,7 +507,7 @@ def f[B](t: Term[B]): B = t match { The expected type of the pattern `y: Number` is `Term[B]`. The type `Number` does not conform to `Term[B]`; hence Case 2 of the rules above -applies. This means that `b` is treated as another type +applies. This means that `B` is treated as another type variable for which subtype constraints are inferred. In our case the applicable constraint is `Number <: Term[B]`, which entails `B = Int`. Hence, `B` is treated in |