diff options
author | Paul Phillips <paulp@improving.org> | 2013-05-11 16:27:03 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-05-12 10:32:09 -0700 |
commit | e28c3edda4dd405ed382227d2a688b799bf33c72 (patch) | |
tree | 96e91424dc1830dd9c8bd0a96c1e046e39878bce /test/files/pos/t3864 | |
parent | 7f29f8512d4975cf3a5a0b536a8910e4e3b4316b (diff) | |
download | scala-e28c3edda4dd405ed382227d2a688b799bf33c72.tar.gz scala-e28c3edda4dd405ed382227d2a688b799bf33c72.tar.bz2 scala-e28c3edda4dd405ed382227d2a688b799bf33c72.zip |
SI-1786 incorporate defined bounds in inference
Also fixes SI-5459.
Look, you don't have to redeclare the bounds, isn't it exciting?
For instance, there are eight places in JavaMirrors with this:
jTypeVariable[_ <: GenericDeclaration]
After this code is in starr, those can look like this:
jTypeVariable[_]
Since TypeVariable's definition looks like this:
interface TypeVariable<D extends GenericDeclaration>
We already know that!
Diffstat (limited to 'test/files/pos/t3864')
0 files changed, 0 insertions, 0 deletions