From f4e000f7f08086727cec4c810873379de8ab2624 Mon Sep 17 00:00:00 2001 From: Hubert Plociniczak Date: Tue, 2 Nov 2010 00:14:43 +0000 Subject: Closes #3816. Review by moors. --- test/files/neg/t3816.check | 7 +++++++ test/files/neg/t3816.scala | 42 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 49 insertions(+) create mode 100644 test/files/neg/t3816.check create mode 100644 test/files/neg/t3816.scala (limited to 'test') diff --git a/test/files/neg/t3816.check b/test/files/neg/t3816.check new file mode 100644 index 0000000000..3658e76b64 --- /dev/null +++ b/test/files/neg/t3816.check @@ -0,0 +1,7 @@ +t3816.scala:30: error: stable identifier required, but syncID found. + case Some( `syncID` ) => + ^ +t3816.scala:38: error: stable identifier required, but Test.this.foo found. + case Some( `foo` ) => + ^ +two errors found diff --git a/test/files/neg/t3816.scala b/test/files/neg/t3816.scala new file mode 100644 index 0000000000..31b0825f1d --- /dev/null +++ b/test/files/neg/t3816.scala @@ -0,0 +1,42 @@ +class B { + def ::(a: List[Int]) { + a match { + case x::xs => + case _ => + } + } +} + +object Test { + def testSuccess1( x: Any ) = { + val stable = 2 + x match { + case Some( `stable` ) => + case _ => + } + } + + val bar = 3 + def testSuccess2( x: Any ) = { + x match { + case Some( `bar` ) => + case _ => + } + } + + def testFail1( x: Any ) = { + var syncID = 0 + x match { + case Some( `syncID` ) => + case _ => + } + } + + var foo = 0 + def testFail2( x: Any ) = { + x match { + case Some( `foo` ) => + case _ => + } + } +} -- cgit v1.2.3