Strengthen argument type of opaqueToBounds

odersky · tanishiking · commit 56a7b5fef439 · 2021-08-11T03:10:13.000+09:00
diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -407,7 +407,7 @@ object SymDenotations {
      *  @param tparams The type parameters with which the right-hand side bounds should be abstracted
      *
      */
-    def opaqueToBounds(info: Type, rhs: tpd.Tree, tparams: List[TypeParamInfo])(using Context): Type =
+    def opaqueToBounds(info: Type, rhs: tpd.Tree, tparams: List[TypeSymbol])(using Context): Type =
 
       def setAlias(tp: Type) =
         def recur(self: Type): Unit = self match

Original file line number	Diff line number	Diff line change
`@@ -407,7 +407,7 @@ object SymDenotations {`
`407`	`407`	`* @param tparams The type parameters with which the right-hand side bounds should be abstracted`
`408`	`408`	`*`
`409`	`409`	`*/`
`410`		`- def opaqueToBounds(info: Type, rhs: tpd.Tree, tparams: List[TypeParamInfo])(using Context): Type =`
	`410`	`+ def opaqueToBounds(info: Type, rhs: tpd.Tree, tparams: List[TypeSymbol])(using Context): Type =`
`411`	`411`
`412`	`412`	`def setAlias(tp: Type) =`
`413`	`413`	`def recur(self: Type): Unit = self match`