Do not check deprecation on TypeDef

nicolasstucki · nicolasstucki · commit 112bea7a1295 · 2021-05-05T10:25:42.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/RefChecks.scala b/compiler/src/dotty/tools/dotc/typer/RefChecks.scala
@@ -1301,12 +1301,12 @@ class RefChecks extends MiniPhase { thisPhase =>
   }
 
   override def transformTypeTree(tree: TypeTree)(using Context): TypeTree = {
-    checkUndesiredProperties(tree.symbol, tree.srcPos)
+    checkExperimental(tree.symbol, tree.srcPos)
     tree
   }
 
   override def transformTypeDef(tree: TypeDef)(using Context): TypeDef = {
-    checkUndesiredProperties(tree.symbol, tree.srcPos)
+    checkExperimental(tree.symbol, tree.srcPos)
     checkExperimentalAnnots(tree.symbol)
     tree
   }

Original file line number	Diff line number	Diff line change
`@@ -1301,12 +1301,12 @@ class RefChecks extends MiniPhase { thisPhase =>`
`1301`	`1301`	`}`
`1302`	`1302`
`1303`	`1303`	`override def transformTypeTree(tree: TypeTree)(using Context): TypeTree = {`
`1304`		`- checkUndesiredProperties(tree.symbol, tree.srcPos)`
	`1304`	`+ checkExperimental(tree.symbol, tree.srcPos)`
`1305`	`1305`	`tree`
`1306`	`1306`	`}`
`1307`	`1307`
`1308`	`1308`	`override def transformTypeDef(tree: TypeDef)(using Context): TypeDef = {`
`1309`		`- checkUndesiredProperties(tree.symbol, tree.srcPos)`
	`1309`	`+ checkExperimental(tree.symbol, tree.srcPos)`
`1310`	`1310`	`checkExperimentalAnnots(tree.symbol)`
`1311`	`1311`	`tree`
`1312`	`1312`	`}`