From e65321cb29758518573902041001d203d924c8bc Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Sat, 10 Aug 2013 09:31:30 +0200 Subject: SI-7694 Add @uncheckedBounds to the library Followup to the previous commit that added the compiler support for opting out of bounds checking. With both pieces, we can test that the temporaries introduced by the named/default arguments transform don't trigger bounds violations. --- test/files/neg/t7694b.check | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test/files/neg/t7694b.check (limited to 'test/files/neg') diff --git a/test/files/neg/t7694b.check b/test/files/neg/t7694b.check new file mode 100644 index 0000000000..ea3d7736f8 --- /dev/null +++ b/test/files/neg/t7694b.check @@ -0,0 +1,7 @@ +t7694b.scala:8: error: type arguments [_3,_4] do not conform to trait L's type parameter bounds [A2,B2 <: A2] + def d = if (true) (null: L[A, A]) else (null: L[B, B]) + ^ +t7694b.scala:9: error: type arguments [_1,_2] do not conform to trait L's type parameter bounds [A2,B2 <: A2] + val v = if (true) (null: L[A, A]) else (null: L[B, B]) + ^ +two errors found -- cgit v1.2.3