diff options
author | Martin Odersky <odersky@gmail.com> | 2015-09-24 16:42:14 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-01 19:33:25 +0200 |
commit | 424fab79e56d376acbc2cdb5a203a527d0b2248d (patch) | |
tree | 314b979305d74e58b4f79aa4deadaedfec2dfe33 /project/Build.scala | |
parent | 6288a1bb35f8167ad3ba8784fb9ac95e7fbde7e7 (diff) | |
download | dotty-424fab79e56d376acbc2cdb5a203a527d0b2248d.tar.gz dotty-424fab79e56d376acbc2cdb5a203a527d0b2248d.tar.bz2 dotty-424fab79e56d376acbc2cdb5a203a527d0b2248d.zip |
Opportunistically merge A & A -> A and B | B -> B in <:<
Cases like these (in fact one of the operads was a type variable
the other its underlying polyparam) arose in pos/overloads.scala and caused
deep subtype recursions.
Diffstat (limited to 'project/Build.scala')
0 files changed, 0 insertions, 0 deletions