diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-11-04 11:29:00 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-11-04 11:29:00 +0100 |
| commit | ab95d83444c6397f8859713dd6606602c77c8d23 (patch) | |
| tree | fa490998a0ab2d72e4d86760417193a5e504374d /src/dotty/tools/dotc/core/Types.scala | |
| parent | 19b6784ef1cae9cd0af278c0c3afcee47c0a00ea (diff) | |
| download | dotty-ab95d83444c6397f8859713dd6606602c77c8d23.tar.gz dotty-ab95d83444c6397f8859713dd6606602c77c8d23.tar.bz2 dotty-ab95d83444c6397f8859713dd6606602c77c8d23.zip | |
Upgraded handling of positions
It turned out the some trees were still carrying NoPosition in their pos fields. The new treatment avoids that and aslo adds some assertions to check for regressions.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 904e11399..305261213 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -1944,6 +1944,8 @@ object Types { */ final class TypeVar(val origin: PolyParam, creatorState: TyperState, val pos: Position) extends UncachedProxyType with ValueType { + assert(pos.exists) + /** The permanent instance type of the the variable, or NoType is none is given yet */ private[core] var inst: Type = NoType |