diff options
Diffstat (limited to 'src/reflect/scala/reflect/api/Positions.scala')
| -rw-r--r-- | src/reflect/scala/reflect/api/Positions.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/reflect/scala/reflect/api/Positions.scala b/src/reflect/scala/reflect/api/Positions.scala index 8ad46418f8..63ad605656 100644 --- a/src/reflect/scala/reflect/api/Positions.scala +++ b/src/reflect/scala/reflect/api/Positions.scala @@ -19,7 +19,8 @@ trait Positions { * The main documentation entry about positions is located at [[scala.reflect.api.Position]]. * @group Positions */ - type Position >: Null <: scala.reflect.api.Position { type Pos = Position } + type Position >: Null <: AnyRef with scala.reflect.api.Position { type Pos = Position } + /** A special "missing" position. * @group Positions */ |