Skip to content

Commit 9045834

Browse files
dwijnanddwijnand
committed
Unsuppress unchecked warnings
And check it with a pos checkfile.
1 parent 4740017 commit 9045834

File tree

15 files changed

+148
-65
lines changed

15 files changed

+148
-65
lines changed

‎compiler/src/dotty/tools/dotc/reporting/Message.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -408,7 +408,7 @@ abstract class Message(val errorId: ErrorMessageID)(using Context) { self =>
408408
override def canExplain = true
409409

410410
/** Override with `true` for messages that should always be shown even if their
411-
* position overlaps another messsage of a different class. On the other hand
411+
* position overlaps another message of a different class. On the other hand
412412
* multiple messages of the same class with overlapping positions will lead
413413
* to only a single message of that class to be issued.
414414
*/

‎compiler/src/dotty/tools/dotc/reporting/messages.scala‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -897,6 +897,7 @@ extends Message(PatternMatchExhaustivityID) {
897897

898898
class UncheckedTypePattern(argType: Type, whyNot: String)(using Context)
899899
extends PatternMatchMsg(UncheckedTypePatternID) {
900+
override def showAlways = true
900901
def msg(using Context) = i"the type test for $argType cannot be checked at runtime because $whyNot"
901902
def explain(using Context) =
902903
i"""|Type arguments and type refinements are erased during compile time, thus it's

‎compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,7 @@ object TypeTestsCasts {
7474
}.apply(tp)
7575

7676
/** Returns true if the type arguments of `P` can be determined from `X` */
77-
def typeArgsTrivial(X: Type, P: AppliedType)(using Context) = inContext(ctx.fresh.setExploreTyperState().setFreshGADTBounds) {
77+
def typeArgsDeterminable(X: Type, P: AppliedType)(using Context) = inContext(ctx.fresh.setExploreTyperState().setFreshGADTBounds) {
7878
val AppliedType(tycon, _) = P
7979

8080
def underlyingLambda(tp: Type): TypeLambda = tp.ensureLambdaSub match {
@@ -155,7 +155,7 @@ object TypeTestsCasts {
155155
case x =>
156156
// always false test warnings are emitted elsewhere
157157
TypeComparer.provablyDisjoint(x, tpe.derivedAppliedType(tycon, targs.map(_ => WildcardType)))
158-
|| typeArgsTrivial(X, tpe)
158+
|| typeArgsDeterminable(X, tpe)
159159
||| i"its type arguments can't be determined from $X"
160160
}
161161
case AndType(tp1, tp2) => recur(X, tp1) && recur(X, tp2)

‎compiler/src/dotty/tools/dotc/transform/patmat/Space.scala‎

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -385,7 +385,7 @@ object SpaceEngine {
385385
project(pat)
386386

387387
case Typed(_, tpt) =>
388-
Typ(erase(tpt.tpe.stripAnnots, isValue = true), decomposed = false)
388+
Typ(erase(tpt.tpe.stripAnnots, isValue = true, isTyped = true), decomposed = false)
389389

390390
case This(_) =>
391391
Typ(pat.tpe.stripAnnots, decomposed = false)
@@ -453,24 +453,26 @@ object SpaceEngine {
453453
* If `isValue` is true, then pattern-bound symbols are erased to its upper bound.
454454
* This is needed to avoid spurious unreachable warnings. See tests/patmat/i6197.scala.
455455
*/
456-
private def erase(tp: Type, inArray: Boolean = false, isValue: Boolean = false)(using Context): Type =
457-
trace(i"erase($tp${if inArray then " inArray" else ""}${if isValue then " isValue" else ""})", debug)(tp match {
456+
private def erase(tp: Type, inArray: Boolean = false, isValue: Boolean = false, isTyped: Boolean = false)(using Context): Type =
457+
trace(i"erase($tp${if inArray then " inArray" else ""}${if isValue then " isValue" else ""}${if isTyped then " isTyped" else ""})", debug)(tp match {
458458
case tp @ AppliedType(tycon, args) if tycon.typeSymbol.isPatternBound =>
459459
WildcardType
460460

461461
case tp @ AppliedType(tycon, args) =>
462462
val inArray = tycon.isRef(defn.ArrayClass)
463-
val args2 = args.map(arg => erase(arg, inArray = inArray, isValue = false))
463+
val args2 =
464+
if isTyped && !inArray then args.map(_ => WildcardType)
465+
else args.map(arg => erase(arg, inArray = inArray, isValue = false))
464466
tp.derivedAppliedType(erase(tycon, inArray, isValue = false), args2)
465467

466468
case tp @ OrType(tp1, tp2) =>
467-
OrType(erase(tp1, inArray, isValue), erase(tp2, inArray, isValue), tp.isSoft)
469+
OrType(erase(tp1, inArray, isValue, isTyped), erase(tp2, inArray, isValue, isTyped), tp.isSoft)
468470

469471
case AndType(tp1, tp2) =>
470-
AndType(erase(tp1, inArray, isValue), erase(tp2, inArray, isValue))
472+
AndType(erase(tp1, inArray, isValue, isTyped), erase(tp2, inArray, isValue, isTyped))
471473

472474
case tp @ RefinedType(parent, _, _) =>
473-
erase(parent, inArray, isValue)
475+
erase(parent, inArray, isValue, isTyped)
474476

475477
case tref: TypeRef if tref.symbol.isPatternBound =>
476478
if inArray then tref.underlying

‎tests/neg-deep-subtype/enum-approx2.scala‎

Lines changed: 0 additions & 12 deletions
This file was deleted.

‎tests/pending/neg/i16451.check‎

Lines changed: 0 additions & 24 deletions
This file was deleted.

‎tests/warn/enum-approx2.check‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
-- [E030] Match case Unreachable Warning: tests/warn/enum-approx2.scala:7:12 -------------------------------------------
2+
7 | case Fun(x: Exp[Int => String]) => ??? // warn: unreachable // warn: unchecked
3+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
4+
| Unreachable case
5+
-- [E121] Pattern Match Warning: tests/warn/enum-approx2.scala:8:9 -----------------------------------------------------
6+
8 | case _ => // warn: unreachable-only-null
7+
| ^
8+
| Unreachable case except for null (if this is intentional, consider writing case null => instead).
9+
-- [E092] Pattern Match Unchecked Warning: tests/warn/enum-approx2.scala:6:13 ------------------------------------------
10+
6 | case Fun(x: Fun[Int, Double]) => ??? // warn: unchecked
11+
| ^
12+
|the type test for Fun[Int, Double] cannot be checked at runtime because its type arguments can't be determined from Exp[Int => Int]
13+
|
14+
| longer explanation available when compiling with `-explain`
15+
-- [E092] Pattern Match Unchecked Warning: tests/warn/enum-approx2.scala:7:13 ------------------------------------------
16+
7 | case Fun(x: Exp[Int => String]) => ??? // warn: unreachable // warn: unchecked
17+
| ^
18+
|the type test for Exp[Int => String] cannot be checked at runtime because its type arguments can't be determined from Exp[Int => Int]
19+
|
20+
| longer explanation available when compiling with `-explain`

‎tests/warn/enum-approx2.scala‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
sealed trait Exp[T]
2+
case class Fun[A, B](f: Exp[A => B]) extends Exp[A => B]
3+
4+
class Test {
5+
def eval(e: Fun[Int, Int]) = e match {
6+
case Fun(x: Fun[Int, Double]) => ??? // warn: unchecked
7+
case Fun(x: Exp[Int => String]) => ??? // warn: unreachable // warn: unchecked
8+
case _ => // warn: unreachable-only-null
9+
}
10+
}

‎tests/neg-deep-subtype/i11178.scala‎ renamed to ‎tests/warn/i11178.scala‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
//> using options -Xfatal-warnings
2-
31
trait Box[+T]
42
case class Foo[+S](s: S) extends Box[S]
53

‎tests/warn/i16451.check‎

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
-- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:14:9 -------------------------------------------------
2+
14 | case x: Wrapper[Color.Green.type] => None // warn: unreachable // warn: unchecked
3+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4+
| Unreachable case
5+
-- [E030] Match case Unreachable Warning: tests/warn/i16451.scala:22:9 -------------------------------------------------
6+
22 | case x: Wrapper[Color.Green.type] => None // warn: unreachable // warn: unchecked
7+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8+
| Unreachable case
9+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:13:9 ------------------------------------------------
10+
13 | case x: Wrapper[Color.Red.type] => Some(x) // warn: unchecked
11+
| ^
12+
|the type test for Wrapper[(Color.Red : Color)] cannot be checked at runtime because its type arguments can't be determined from Wrapper[Color]
13+
|
14+
| longer explanation available when compiling with `-explain`
15+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:14:9 ------------------------------------------------
16+
14 | case x: Wrapper[Color.Green.type] => None // warn: unreachable // warn: unchecked
17+
| ^
18+
|the type test for Wrapper[(Color.Green : Color)] cannot be checked at runtime because its type arguments can't be determined from Wrapper[Color]
19+
|
20+
| longer explanation available when compiling with `-explain`
21+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:21:9 ------------------------------------------------
22+
21 | case x: Wrapper[Color.Red.type] => Some(x) // warn: unchecked
23+
| ^
24+
|the type test for Wrapper[(Color.Red : Color)] cannot be checked at runtime because its type arguments can't be determined from Any
25+
|
26+
| longer explanation available when compiling with `-explain`
27+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:22:9 ------------------------------------------------
28+
22 | case x: Wrapper[Color.Green.type] => None // warn: unreachable // warn: unchecked
29+
| ^
30+
|the type test for Wrapper[(Color.Green : Color)] cannot be checked at runtime because its type arguments can't be determined from Any
31+
|
32+
| longer explanation available when compiling with `-explain`
33+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:25:9 ------------------------------------------------
34+
25 | case x: Wrapper[Color.Red.type] => Some(x) // error: unreachable // error: unchecked
35+
| ^
36+
|the type test for Wrapper[(Color.Red : Color)] cannot be checked at runtime because its type arguments can't be determined from Wrapper[Color]
37+
|
38+
| longer explanation available when compiling with `-explain`
39+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:29:9 ------------------------------------------------
40+
29 | case x: Wrapper[Color.Red.type] => Some(x)
41+
| ^
42+
|the type test for Wrapper[(Color.Red : Color)] cannot be checked at runtime because its type arguments can't be determined from A1
43+
|
44+
| longer explanation available when compiling with `-explain`
45+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:34:11 -----------------------------------------------
46+
34 | case x: Wrapper[Color.Red.type] => x
47+
| ^
48+
|the type test for Wrapper[(Color.Red : Color)] cannot be checked at runtime because its type arguments can't be determined from Wrapper[Color]
49+
|
50+
| longer explanation available when compiling with `-explain`
51+
-- [E092] Pattern Match Unchecked Warning: tests/warn/i16451.scala:39:11 -----------------------------------------------
52+
39 | case x: Wrapper[Color.Red.type] => x
53+
| ^
54+
|the type test for Wrapper[(Color.Red : Color)] cannot be checked at runtime because its type arguments can't be determined from Wrapper[Color]
55+
|
56+
| longer explanation available when compiling with `-explain`

0 commit comments

Comments
 (0)