diff options
| author | odersky <odersky@gmail.com> | 2016-12-15 17:42:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-15 17:42:45 +0100 |
| commit | 9f2b5ad068c06c62e28a3543218f5c1bc0362f74 (patch) | |
| tree | bc33fbec19274ae26fe593c4de6ed5d85edf8a62 /compiler/src/dotty/tools/dotc/core/TypeErasure.scala | |
| parent | 1773b37286e1b3363b756f0c061ae429b94d9b5d (diff) | |
| parent | 9b8aaaf899474d3b6ce7b73f637866953f33fd48 (diff) | |
| download | dotty-9f2b5ad068c06c62e28a3543218f5c1bc0362f74.tar.gz dotty-9f2b5ad068c06c62e28a3543218f5c1bc0362f74.tar.bz2 dotty-9f2b5ad068c06c62e28a3543218f5c1bc0362f74.zip | |
Merge pull request #1682 from dotty-staging/vclass
Fix checks related to value classes
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/TypeErasure.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/TypeErasure.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala index 57397a8bc..82943377a 100644 --- a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala +++ b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala @@ -438,7 +438,7 @@ class TypeErasure(isJava: Boolean, semiEraseVCs: Boolean, isConstructor: Boolean private def eraseDerivedValueClassRef(tref: TypeRef)(implicit ctx: Context): Type = { val cls = tref.symbol.asClass val underlying = underlyingOfValueClass(cls) - if (underlying.exists) ErasedValueType(tref, valueErasure(underlying)) + if (underlying.exists && !isCyclic(cls)) ErasedValueType(tref, valueErasure(underlying)) else NoType } |