diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-01 14:34:48 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-08-16 17:32:54 +0200 |
commit | a57b4a3ec5b139711ad7e729040165e58751a49c (patch) | |
tree | 51f2cd5eb681e9a846eabbde1769769625a17777 /scripts | |
parent | a7fab6d84854c5b1006427cca8b1ed32b8172689 (diff) | |
download | dotty-a57b4a3ec5b139711ad7e729040165e58751a49c.tar.gz dotty-a57b4a3ec5b139711ad7e729040165e58751a49c.tar.bz2 dotty-a57b4a3ec5b139711ad7e729040165e58751a49c.zip |
Fix #1430: Avoid constrained polyparams in error message
When issuing a type mismatch error, avoid mentioning polyparams
in the current constraint set and their associated typevars. Mention
instead the bound that caused the constrained to become unsatisfiable
(if that bound is unique, i.e. the parameter appears co- or contravariantly
in the type).
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions