diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-09-18 17:51:45 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 17:51:45 +0200 |
| commit | 22a2c79adf3acb8b5dd341b552e499bced58c537 (patch) | |
| tree | f5fc61bf452b2d1b7ef79a2846e8c3fb55325e06 /src/dotty/tools/dotc/typer/Namer.scala | |
| parent | 7f983665985d93c735d519f7d24d9ba072b26cd4 (diff) | |
| download | dotty-22a2c79adf3acb8b5dd341b552e499bced58c537.tar.gz dotty-22a2c79adf3acb8b5dd341b552e499bced58c537.tar.bz2 dotty-22a2c79adf3acb8b5dd341b552e499bced58c537.zip | |
Generalize set of typevars instantiated before implicit search
We now also consider type variables in a selection prefix of the
application. The test case was augmented to include a snippet which
only succeeds under the generalization.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
0 files changed, 0 insertions, 0 deletions