diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-05 17:18:11 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:05:27 +0200 |
commit | 91dd827a726a12395d7b84c03d45ca6822bf8f12 (patch) | |
tree | d8acfd662bdea9800664e60e91bf7cc61ae25e4e /src/dotty/tools/dotc/core/Types.scala | |
parent | 0ee8e506dac87bae6ec432b2cd277109df872145 (diff) | |
download | dotty-91dd827a726a12395d7b84c03d45ca6822bf8f12.tar.gz dotty-91dd827a726a12395d7b84c03d45ca6822bf8f12.tar.bz2 dotty-91dd827a726a12395d7b84c03d45ca6822bf8f12.zip |
Deskolemize types inferred for vals and defs
We want to establish the invariant (optionally checked by assertNoSkolems)
that symbols do not contain skolemized types as their info. This avoids unsoundness situations
where a skolem gets exported as part if the result type of a method, so different instantiations
look like their are the same instance.
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 4e1da7c34..ba39e7bef 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2011,7 +2011,7 @@ object Types { def isJava = false def isImplicit = false - private val resType = resultTypeExp(this) + private[core] val resType = resultTypeExp(this) assert(resType.exists) override def resultType(implicit ctx: Context): Type = |