Fix registering Ident not containing a symbol

- Register their type - Fix scala#16680 - Update test suit
PaulCoral · Jan 13, 2023 · d26bfb8 · d26bfb8
1 parent 722acb9
commit d26bfb8
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala b/compiler/src/dotty/tools/dotc/transform/CheckUnused.scala
@@ -81,7 +81,12 @@ class CheckUnused extends MiniPhase:
     ctx
 
   override def prepareForIdent(tree: tpd.Ident)(using Context): Context =
-    _key.unusedDataApply(_.registerUsed(tree.symbol, Some(tree.name)))
+    if tree.symbol.exists then 
+      _key.unusedDataApply(_.registerUsed(tree.symbol, Some(tree.name)))
+    else if tree.hasType then
+      _key.unusedDataApply(_.registerUsed(tree.tpe.classSymbol, Some(tree.name)))
+    else
+      ctx
 
   override def prepareForSelect(tree: tpd.Select)(using Context): Context =
     _key.unusedDataApply(_.registerUsed(tree.symbol, Some(tree.name)))

diff --git a/tests/neg-custom-args/fatal-warnings/i15503a.scala b/tests/neg-custom-args/fatal-warnings/i15503a.scala
@@ -255,4 +255,14 @@ package foo.testing.imports.precedence:
 package foo.test.enums:
   enum A: // OK
     case B extends A // OK
-    case C extends A // OK
+    case C extends A // OK
+
+package foo.test.typeapply.hklamdba.i16680:
+  package foo:
+    trait IO[A]
+
+  package bar:
+    import foo.IO // OK
+
+    def f[F[_]]: String = "hello"
+    def go = f[IO]