From b7b81ca286b1f426cd19befd50fbc513bb82282f Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 1 Nov 2011 17:16:51 +0000 Subject: Fixed type unsoundness problem in t5120 and als... Fixed type unsoundness problem in t5120 and also discovered by roman.kalukiewicz@gmail.com. Fix should be refined further, as I am not convinced we are quite done yet. Review by moors. --- test/files/neg/t3015.check | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test/files/neg/t3015.check') diff --git a/test/files/neg/t3015.check b/test/files/neg/t3015.check index 6095efc6a7..0b394e23d6 100644 --- a/test/files/neg/t3015.check +++ b/test/files/neg/t3015.check @@ -1,11 +1,11 @@ t3015.scala:7: error: scrutinee is incompatible with pattern type; - found : _$1 where type _$1 + found : _$1 where type +_$1 required: String val b(foo) = "foo" ^ t3015.scala:7: error: type mismatch; - found : _$1(in value foo) where type _$1(in value foo) <: String - required: (some other)_$1(in value foo) where type (some other)_$1(in value foo) + found : String with _$1(in object Test) where type +_$1(in object Test) + required: (some other)_$1(in object Test) where type +(some other)_$1(in object Test) val b(foo) = "foo" ^ two errors found -- cgit v1.2.3