- instance
- <init>
- checkWithinBounds
check that type parameters are within their bounds.
- instantiateMethod
Instantiate method type `mt' by finding instantiations of `tvars' so that method
can be applied to `
- checkCompatibleUpperBounds
Make sure that the upper bounds we got so far lead to a solvable inference
variable by making sure t
- generateReturnConstraints
Generate constraints from the generic method's return type. If the method call
occurs in a context w
- instantiateArg
Try to instantiate argument type `that' to given type `to'. If this fails, try
to insantiate `that'
- instantiateExpr
Try to instantiate expression type `that' to given type `to'. If a maximal
instantiation exists whic
- instantiateFunctionalInterface
This method is used to infer a suitable target SAM in case the original SAM type
contains one or mor
- instantiatePolymorphicSignatureInstance
Compute a synthetic method type corresponding to the requested polymorphic
method signature. The tar
- isSubClass
- maximizeInst
Instantiate undetermined type variable to its minimal upper bound. Throw a
NoInstanceException if th