scala/scala — pull request #1088 by adriaanm (2012-08-08 11:45:12+00:00)
Title: SI-6205 make pt fully defined before inferTypedPattern

refines my fix for SI-2038 (#981) by making pt fully defined before calling inferTypedPattern,
instead of making the result of inferTypedPattern fully defined

I finally realized my mistake by diffing the -Ytyper-debug output of compiling the variants with:

```
x match {case Holder(k: A[kt]) => (k: A[kt])}
```

and

```
(x: Any) match {case Holder(k: A[kt]) => (k: A[kt])}
```