Skip to content

Commit 35cfbd7

Browse files
committed
improvements on parametric class definition. Bugfix in TreeUtils
1 parent 71b9e3a commit 35cfbd7

File tree

5 files changed

+275
-80
lines changed

5 files changed

+275
-80
lines changed

compiler/src/dotty/tools/dotc/tastyreflect/TypeOrBoundsOpsImpl.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ trait TypeOrBoundsOpsImpl extends scala.tasty.reflect.TypeOrBoundsOps with CoreI
2323
if (tpe.classSymbol.exists) Some(tpe.classSymbol.asClass) else None
2424

2525
def typeSymbol(implicit ctx: Context): Symbol = tpe.typeSymbol
26+
//def pos(implicit ctx: Context): Position = tpe.pos
2627
}
2728

2829
def ConstantTypeDeco(x: ConstantType): Type.ConstantTypeAPI = new Type.ConstantTypeAPI {

library/src/scala/tasty/reflect/TypeOrBoundsOps.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,7 @@ trait TypeOrBoundsOps extends Core {
5555
def widen(implicit ctx: Context): Type
5656
def classSymbol(implicit ctx: Context): Option[ClassSymbol]
5757
def typeSymbol(implicit ctx: Context): Symbol
58+
//def pos(implicit ctx: Context): Position
5859
}
5960

6061
val IsType: IsTypeModule
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
package example
2+
3+
class DepTemp() {
4+
5+
}
6+
7+
abstract class DepAdvD[CC[X[C] <: B], X[Z], C] extends DepTemp {
8+
val foo: List[Option[Option[X[C]]]]
9+
}

0 commit comments

Comments
 (0)