diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-20 22:25:09 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-23 00:47:19 +0100 |
| commit | b45c69fb992acf1bbd9511408193d6d92ef7089a (patch) | |
| tree | f861f6f7d09e773f9694b43bf54c136dd1a38bd6 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | eed18aab0d52bd2f7a1cb17433759b51890e40aa (diff) | |
| download | dotty-b45c69fb992acf1bbd9511408193d6d92ef7089a.tar.gz dotty-b45c69fb992acf1bbd9511408193d6d92ef7089a.tar.bz2 dotty-b45c69fb992acf1bbd9511408193d6d92ef7089a.zip | |
Plugging a possible hole in unify
unify now does a full `replace` of one parameter with the other. The previous
scheme of just updating the entry of a parameter risks breaking constraint
invariants. In particular, other constraint bounds can still refer to the eliminated
parameter. This might not be a problem, but then we should be systeamtically leaving
these references in everywhere. In any case it seems better to harmonize what unify
and replace are doing.
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
0 files changed, 0 insertions, 0 deletions