diff options
author | Martin Odersky <odersky@gmail.com> | 2013-06-18 23:23:24 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-06-18 23:23:24 +0200 |
commit | 928a2a99288c3aa425654e63aea5ddc70359d4ac (patch) | |
tree | b431d9a9e06e423dbd3761eb63970cda0d9ac580 /src/dotty/tools/dotc/core/Types.scala | |
parent | f8a42a0584d855a0548c20c7434ed83a59647ed9 (diff) | |
download | dotty-928a2a99288c3aa425654e63aea5ddc70359d4ac.tar.gz dotty-928a2a99288c3aa425654e63aea5ddc70359d4ac.tar.bz2 dotty-928a2a99288c3aa425654e63aea5ddc70359d4ac.zip |
Distribute & into TypeTypes.
&, | on two TypeTypes yielded AndTypes and OrTypes, which is wrong. We now turn any ClassInfoTypes into TypeBounds and distribute the operator into the bounds, creating a TypeBounds type.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions