Add -Wunused:all to the compiler options to see Semanticdb export unused

warnings

Author: tanishiking

compiler/test/dotty/tools/dotc/semanticdb/SemanticdbTests.scala

@@ -142,7 +142,8 @@ class SemanticdbTests:
       "-sourceroot", expectSrc.toString,
       "-classpath", target.toString,
       "-Xignore-scala2-macros",
-      "-usejavacp"
+      "-usejavacp",
+      "-Wunused:all"
     ) ++ inputFiles().map(_.toString)
     val exit = Main.process(args)
     assertFalse(s"dotc errors: ${exit.errorCount}", exit.hasErrors)

tests/semanticdb/metac.expect

@@ -8,6 +8,7 @@ Text => empty
 Language => Scala
 Symbols => 9 entries
 Occurrences => 18 entries
+Diagnostics => 2 entries
 
 Symbols:
 example/Access# => class Access extends Object { self: Access => +8 decls }
@@ -40,6 +41,10 @@ Occurrences:
 [9:6..9:8): m7 <- example/Access#m7().
 [9:11..9:14): ??? -> scala/Predef.`???`().
 
+Diagnostics:
+[3:14..3:16): [warning] unused private member
+[4:20..4:22): [warning] unused private member
+
 expect/Advanced.scala
 ---------------------
 
@@ -50,6 +55,7 @@ Text => empty
 Language => Scala
 Symbols => 61 entries
 Occurrences => 138 entries
+Diagnostics => 1 entries
 Synthetics => 3 entries
 
 Symbols:
@@ -255,6 +261,9 @@ Occurrences:
 [53:37..53:38): x -> advanced/HKClass#foo().(x)
 [53:39..53:47): toString -> scala/Tuple2#toString().
 
+Diagnostics:
+[40:12..40:15): [warning] unused local definition
+
 Synthetics:
 [27:12..27:16):s.s1 => reflectiveSelectable(*)
 [29:12..29:16):s.s2 => reflectiveSelectable(*)
@@ -270,6 +279,7 @@ Text => empty
 Language => Scala
 Symbols => 23 entries
 Occurrences => 52 entries
+Diagnostics => 2 entries
 
 Symbols:
 annot/Alias. => final object Alias extends Object { self: Alias.type => +2 decls }
@@ -350,6 +360,10 @@ Occurrences:
 [39:11..39:26): ClassAnnotation -> com/javacp/annot/ClassAnnotation#
 [39:28..39:33): param -> scala/annotation/meta/param#
 
+Diagnostics:
+[7:67..7:68): [warning] unused explicit parameter
+[21:33..21:34): [warning] unused explicit parameter
+
 expect/Anonymous.scala
 ----------------------
 
@@ -360,6 +374,7 @@ Text => empty
 Language => Scala
 Symbols => 23 entries
 Occurrences => 47 entries
+Diagnostics => 1 entries
 Synthetics => 2 entries
 
 Symbols:
@@ -436,6 +451,9 @@ Occurrences:
 [23:33..23:39): String -> scala/Predef.String#
 [23:42..23:45): ??? -> scala/Predef.`???`().
 
+Diagnostics:
+[14:8..14:9): [warning] unused local definition
+
 Synthetics:
 [10:2..10:9):locally => *[Unit]
 [13:2..13:9):locally => *[Unit]
@@ -474,6 +492,7 @@ Text => empty
 Language => Scala
 Symbols => 108 entries
 Occurrences => 114 entries
+Diagnostics => 4 entries
 Synthetics => 2 entries
 
 Symbols:
@@ -702,6 +721,12 @@ Occurrences:
 [53:4..53:9): local -> local4
 [53:10..53:11): + -> scala/Int#`+`(+4).
 
+Diagnostics:
+[18:9..18:10): [warning] unused explicit parameter
+[20:27..20:28): [warning] unused explicit parameter
+[22:27..22:28): [warning] unused explicit parameter
+[24:10..24:11): [warning] unused explicit parameter
+
 Synthetics:
 [51:16..51:27):List(1).map => *[Int]
 [51:16..51:20):List => *.apply[Int]
@@ -763,6 +788,7 @@ Text => empty
 Language => Scala
 Symbols => 30 entries
 Occurrences => 46 entries
+Diagnostics => 3 entries
 
 Symbols:
 endmarkers/Container# => class Container extends Object { self: Container => +5 decls }
@@ -844,6 +870,11 @@ Occurrences:
 [64:14..64:20): String -> scala/Predef.String#
 [67:4..67:14): endmarkers -> endmarkers/
 
+Diagnostics:
+[38:8..38:16): [warning] unused local definition
+[42:8..42:16): [warning] unused local definition
+[46:8..46:16): [warning] unused local definition
+
 expect/EndMarkers2.scala
 ------------------------
 
@@ -923,7 +954,7 @@ Text => empty
 Language => Scala
 Symbols => 181 entries
 Occurrences => 148 entries
-Diagnostics => 1 entries
+Diagnostics => 2 entries
 Synthetics => 6 entries
 
 Symbols:
@@ -1260,6 +1291,7 @@ Occurrences:
 [68:25..68:31): Planet -> _empty_/Enums.Planet#
 
 Diagnostics:
+[30:12..30:17): [warning] unused explicit parameter
 [48:13..48:13): [warning] `:` after symbolic operator is deprecated; use backticks around operator instead
 
 Synthetics:
@@ -1314,6 +1346,7 @@ Text => empty
 Language => Scala
 Symbols => 5 entries
 Occurrences => 23 entries
+Diagnostics => 1 entries
 
 Symbols:
 example/Example. => final object Example extends Object { self: Example.type => +3 decls }
@@ -1347,6 +1380,9 @@ Occurrences:
 [9:24..9:32): classTag -> scala/reflect/package.classTag().
 [9:33..9:36): Int -> scala/Int#
 
+Diagnostics:
+[2:24..2:30): [warning] unused import
+
 expect/Extension.scala
 ----------------------
 
@@ -1761,6 +1797,7 @@ Text => empty
 Language => Scala
 Symbols => 2 entries
 Occurrences => 16 entries
+Diagnostics => 1 entries
 
 Symbols:
 _empty_/Imports$package. => final package object _empty_ extends Object { self: _empty_.type => +2 decls }
@@ -1784,6 +1821,9 @@ Occurrences:
 [3:25..3:28): Int -> scala/Int#
 [3:30..3:33): Int -> scala/Int#
 
+Diagnostics:
+[0:26..0:34): [warning] unused import
+
 expect/InstrumentTyper.scala
 ----------------------------
 
@@ -3508,6 +3548,7 @@ Text => empty
 Language => Scala
 Symbols => 22 entries
 Occurrences => 44 entries
+Diagnostics => 3 entries
 Synthetics => 11 entries
 
 Symbols:
@@ -3523,7 +3564,7 @@ example/ValPattern#app(). => method app (): Unit
 example/ValPattern#left. => val method left Int
 example/ValPattern#leftVar(). => var method leftVar Int
 example/ValPattern#number1. => val method number1 Int
-example/ValPattern#number1Var(). => var method number1Var Int
+example/ValPattern#number1Var(). => val method number1Var Int
 example/ValPattern#q1. => val method q1 Nothing
 example/ValPattern#right. => val method right Int
 example/ValPattern#rightVar(). => var method rightVar Int
@@ -3532,7 +3573,7 @@ local1 => val local right: Int
 local2 => val local number1: Int
 local3 => var local leftVar: Int
 local4 => var local rightVar: Int
-local5 => var local number1Var: Int
+local5 => val local number1Var: Int
 
 Occurrences:
 [0:8..0:15): example <- example/
@@ -3580,6 +3621,11 @@ Occurrences:
 [39:10..39:17): leftVar -> local3
 [40:10..40:18): rightVar -> local4
 
+Diagnostics:
+[30:11..30:18): [warning] unset local variable
+[30:20..30:28): [warning] unset local variable
+[31:15..31:25): [warning] unset local variable
+
 Synthetics:
 [5:6..5:10):Some => *.unapply[Int]
 [6:4..6:8):Some => *.apply[Int]
@@ -3603,6 +3649,7 @@ Text => empty
 Language => Scala
 Symbols => 42 entries
 Occurrences => 128 entries
+Diagnostics => 1 entries
 
 Symbols:
 example/ValUsages. => final object ValUsages extends Object { self: ValUsages.type => +2 decls }
@@ -3778,6 +3825,9 @@ Occurrences:
 [49:2..49:3): v -> example/ValUsages.v.
 [49:3..49:18): .explicitSetter -> example/Vals#`explicitSetter_=`().
 
+Diagnostics:
+[2:20..2:21): [warning] unused explicit parameter
+
 expect/Vararg.scala
 -------------------
 
@@ -3819,6 +3869,7 @@ Text => empty
 Language => Scala
 Symbols => 8 entries
 Occurrences => 18 entries
+Diagnostics => 1 entries
 
 Symbols:
 _empty_/Test_depmatch. => final object Test_depmatch extends Object { self: Test_depmatch.type => +4 decls }
@@ -3850,6 +3901,9 @@ Occurrences:
 [6:19..6:20): U -> local0
 [6:24..6:27): ??? -> scala/Predef.`???`().
 
+Diagnostics:
+[6:8..6:9): [warning] unused local definition
+
 expect/example-dir/FileInDir.scala
 ----------------------------------
 
@@ -4125,6 +4179,7 @@ Text => empty
 Language => Scala
 Symbols => 7 entries
 Occurrences => 8 entries
+Diagnostics => 1 entries
 
 Symbols:
 i9727/Test# => class Test extends Object { self: Test => +2 decls }
@@ -4145,6 +4200,9 @@ Occurrences:
 [4:4..4:5): b <- i9727/i9727$package.b.
 [4:12..4:16): Test -> i9727/Test#
 
+Diagnostics:
+[2:11..2:12): [warning] unused explicit parameter
+
 expect/i9782.scala
 ------------------
 
@@ -4529,6 +4587,7 @@ Text => empty
 Language => Scala
 Symbols => 50 entries
 Occurrences => 73 entries
+Diagnostics => 4 entries
 Synthetics => 2 entries
 
 Symbols:
@@ -4658,6 +4717,12 @@ Occurrences:
 [25:27..25:28): t <- local1
 [25:33..25:36): ??? -> scala/Predef.`???`().
 
+Diagnostics:
+[9:30..9:31): [warning] unused explicit parameter
+[9:36..9:37): [warning] unused explicit parameter
+[9:42..9:43): [warning] unused explicit parameter
+[21:11..21:12): [warning] unused explicit parameter
+
 Synthetics:
 [23:6..23:10):List => *.unapplySeq[Nothing]
 [24:19..24:23):List => *.unapplySeq[Nothing]
@@ -4672,6 +4737,7 @@ Text => empty
 Language => Scala
 Symbols => 143 entries
 Occurrences => 228 entries
+Diagnostics => 1 entries
 Synthetics => 1 entries
 
 Symbols:
@@ -5049,6 +5115,9 @@ Occurrences:
 [119:32..119:38): Option -> scala/Option#
 [119:39..119:42): Int -> scala/Int#
 
+Diagnostics:
+[5:13..5:14): [warning] unused explicit parameter
+
 Synthetics:
 [68:20..68:24):@ann => *[Int]