diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-12 13:38:50 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-03-12 13:38:57 +0100 |
commit | c878f8101173d27fe9640bea5d1cea704061ca3c (patch) | |
tree | e257556f47a3b55fcda6b7984599d36ff83b3fbe /compiler/src/dotty/tools/dotc/core/TypeErasure.scala | |
parent | b2d3b8938391516e81f18962e67f5bacf0aa2440 (diff) | |
download | dotty-c878f8101173d27fe9640bea5d1cea704061ca3c.tar.gz dotty-c878f8101173d27fe9640bea5d1cea704061ca3c.tar.bz2 dotty-c878f8101173d27fe9640bea5d1cea704061ca3c.zip |
Fix #2066: Don't qualify private members in SelectionProto's...
... unless they would be accessible in the given context.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/TypeErasure.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/TypeErasure.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala index 2140405b1..10587afd5 100644 --- a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala +++ b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala @@ -215,13 +215,13 @@ object TypeErasure { } /** The erased least upper bound is computed as follows - * - if both argument are arrays of objects, an array of the lub of the element types + * - if both argument are arrays of objects, an array of the erased lub of the element types * - if both arguments are arrays of same primitives, an array of this primitive * - if one argument is array of primitives and the other is array of objects, Object * - if one argument is an array, Object * - otherwise a common superclass or trait S of the argument classes, with the * following two properties: - * S is minimal: no other common superclass or trait derives from S] + * S is minimal: no other common superclass or trait derives from S * S is last : in the linearization of the first argument type `tp1` * there are no minimal common superclasses or traits that * come after S. |