summaryrefslogtreecommitdiff
path: root/src/swing
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2012-05-03 23:11:05 -0700
committerPaul Phillips <paulp@improving.org>2012-05-04 01:22:23 -0700
commit01f6ed8e22d02811fe62b9183d9f84bdda5ede4b (patch)
tree6cc9b5a4847ba7940ddd8313a1a906b06024b5bf /src/swing
parentaad6deae7204a7fc95b59ede61b188bb62f51188 (diff)
downloadscala-01f6ed8e22d02811fe62b9183d9f84bdda5ede4b.tar.gz
scala-01f6ed8e22d02811fe62b9183d9f84bdda5ede4b.tar.bz2
scala-01f6ed8e22d02811fe62b9183d9f84bdda5ede4b.zip
Fix for one of the oldest open soundness bugs.
Closes SI-963, since it was one of my random 30 it won the prize. The trick after adding the stability check (which has been sitting there commented out for 3+ years) was that implicit search depended on the wrongness, because memberWildcardType would create scopes with members of the form ?{ val name: tp } And since a def shouldn't match that, fixing it broke everything until I flipped it around: memberWildcardType should be seeking ?{ def name: tp } It could also search for a mutable value: the relevant quality is that it not be stable so it doesn't have a tighter type than the members it hopes to match.
Diffstat (limited to 'src/swing')
0 files changed, 0 insertions, 0 deletions