| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
These can arise as a result of an explicit outer transform.
|
|
|
|
|
|
| |
MethodTypes have paramTypes whereas PolyTypes have paramBounds.
We now harmonize by alling both paramInfos, and parameterizing
types that will become common to both.
|
|
|
|
|
| |
To allow for dependencies between method type parameters, construct MethodTypes
from a closure that maps the currently constructed MethodType to its parameter types.
|
|
|
|
|
| |
Using changeOwnerAfter would be more appropriate but currently fails
with an assertion in LambdaLift
|
|
|
|
|
|
| |
If a by-name arg has a bottom type, we need to create a closure with the
result type of the formal parameter, or else specialization with
FunctionalInterfaces will fail.
|
|
|
|
|
|
| |
Fixing two failures in stdlib having to do with widening. In both
cases, a widenIfUnstable was required. One was widening too much,
the other too little.
|
|
|