From bf01acd6143552be8a173472a839dfcdee27697c Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Thu, 12 Mar 2015 15:25:14 -0700 Subject: SI-9020 Avoid spurious value discarding warning post-typer Typechecking during the specialization phase was emitting a bogus warning about value discarding. Such warnings in the typer should be guarded by `!isPastTyper` to restrict the analysis to the code the user originally wrote, rather than the results of later typechecking. I've made this change to the value discarding warning. I've also changed a numeric widening warning in the vicinity, although I do not have a test case for that. --- test/files/pos/t9020.flags | 1 + test/files/pos/t9020.scala | 10 ++++++++++ 2 files changed, 11 insertions(+) create mode 100644 test/files/pos/t9020.flags create mode 100644 test/files/pos/t9020.scala (limited to 'test/files') diff --git a/test/files/pos/t9020.flags b/test/files/pos/t9020.flags new file mode 100644 index 0000000000..efb2dd3e6f --- /dev/null +++ b/test/files/pos/t9020.flags @@ -0,0 +1 @@ +-Ywarn-value-discard -Xfatal-warnings diff --git a/test/files/pos/t9020.scala b/test/files/pos/t9020.scala new file mode 100644 index 0000000000..16e31e2572 --- /dev/null +++ b/test/files/pos/t9020.scala @@ -0,0 +1,10 @@ +trait ValueDiscard[@specialized U] { + def u: U +} +/* Was: +scalac-hash v2.11.5 -Ywarn-value-discard test/files/pos/t9020.scala +test/files/pos/t9020.scala:2: warning: discarded non-Unit value + def u: U + ^ +one warning found +*/ -- cgit v1.2.3