Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | No bounds-driven inference for the named. | Paul Phillips | 2013-05-14 | 1 | -6/+6 |
| | | | | | | | | | | | | | | This is a variation on the previous commit which excludes named type parameters, so this works def f(x: Class[_]) = x.foo.bar But this does not: def f[T](x: Class[T]) = x.foo.bar This seems undesirable to me, but I offer it in case it makes the patch more attractive to others. | ||||
* | SI-1786 incorporate defined bounds in inference | Paul Phillips | 2013-05-12 | 1 | -0/+19 |
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! |