From bf7eee08892aa38130dda75cfb6099fdc8b5bcd4 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 26 May 2010 11:52:11 +0000 Subject: also consider non-implicit locals when checking... also consider non-implicit locals when checking shadowing of implicits: closes #3453 nonImplicitSynonymInScope implements the predicate that is used in tryImplicit's checks for shadowing of locally defined implicits benchmarking shows the predicate does not significantly affect quick.comp+quick.lib (goes from 11min to 11min2s on my machine -- no optimisations) review by odersky --- test/files/neg/t3453.check | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 test/files/neg/t3453.check (limited to 'test/files/neg/t3453.check') diff --git a/test/files/neg/t3453.check b/test/files/neg/t3453.check new file mode 100644 index 0000000000..52c948128c --- /dev/null +++ b/test/files/neg/t3453.check @@ -0,0 +1,21 @@ +t3453.scala:18: error: type mismatch; + found : A + required: B + new A + ^ +t3453.scala:36: error: type mismatch; + found : A + required: B + new A + ^ +t3453.scala:50: error: type mismatch; + found : A + required: B + new A + ^ +t3453.scala:64: error: type mismatch; + found : A + required: B + new A + ^ +four errors found -- cgit v1.2.3