diff options
| author | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-10-05 14:17:29 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-10-05 14:17:29 +0200 |
| commit | 4cbf89fa4408942ca38815e946f1e02ab913c3ad (patch) | |
| tree | b1fc98841d6c26171221e66a5d659b39d856bf65 /spec/08-pattern-matching.md | |
| parent | c3906917675b54e9ac1f248c9fb0fba9fa310f0e (diff) | |
| parent | e6917ac758e782fa03b6912a3feb8f9f8d0950a9 (diff) | |
| download | scala-4cbf89fa4408942ca38815e946f1e02ab913c3ad.tar.gz scala-4cbf89fa4408942ca38815e946f1e02ab913c3ad.tar.bz2 scala-4cbf89fa4408942ca38815e946f1e02ab913c3ad.zip | |
Merge pull request #4784 from lrytz/merge-2.11-to-2.12-oct-5v2.12.0-M3
Merge 2.11 to 2.12 oct 5
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 |