diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-19 12:41:32 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:07:27 +0200 |
commit | b12edd1959450f5473cef095821b86400b959e8d (patch) | |
tree | 7456a3fadb3ec3ddc048359e6e44b017b53dcc8c /src/dotty/tools/dotc/core/Types.scala | |
parent | e2aa258c3781fa9ee62fa47dd3b1206b09588c17 (diff) | |
download | dotty-b12edd1959450f5473cef095821b86400b959e8d.tar.gz dotty-b12edd1959450f5473cef095821b86400b959e8d.tar.bz2 dotty-b12edd1959450f5473cef095821b86400b959e8d.zip |
Allow to use safe substitution in LambdaAbstract
Needed to avoid cycles involving F-boundes hk-types when reading Scala2 collection classes
with new hk-scheme.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-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 6797836cf..9f2cc0f34 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -1492,7 +1492,7 @@ object Types { /** Create a NamedType of the same kind as this type, but with a new prefix. */ - protected def newLikeThis(prefix: Type)(implicit ctx: Context): NamedType = + def newLikeThis(prefix: Type)(implicit ctx: Context): NamedType = NamedType(prefix, name) /** Create a NamedType of the same kind as this type, but with a "inherited name". |