diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-12-10 18:46:28 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-12-10 18:54:47 +0100 |
| commit | 916fe1b49061cbc9a78a984c54d3eef2ac2ba08c (patch) | |
| tree | 9b76113ef85037222f6da86f27f910b4050be761 /src | |
| parent | 5a7ac039cef356b24100cc4e9b2cc384bdc61fbc (diff) | |
| download | dotty-916fe1b49061cbc9a78a984c54d3eef2ac2ba08c.tar.gz dotty-916fe1b49061cbc9a78a984c54d3eef2ac2ba08c.tar.bz2 dotty-916fe1b49061cbc9a78a984c54d3eef2ac2ba08c.zip | |
Make derivedTypeBounds always create real TypeBounds.
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 49119d283..cea442871 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2401,7 +2401,7 @@ object Types { /** The non-variant type bounds or alias type with given bounds */ def derivedTypeBounds(lo: Type, hi: Type)(implicit ctx: Context) = if ((lo eq this.lo) && (hi eq this.hi) && (variance == 0)) this - else TypeBounds.orAlias(lo, hi) + else TypeBounds.real(lo, hi) /** If this is an alias, a derived alias with the new variance, * Otherwise the type itself. |