Package com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas
package com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas
-
ClassDescriptionAn expression is compatible in a loose invocation context with type TThe checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.A type S is compatible in a loose invocation context with type TA type argument S is contained by a type argument TA type S is the same as a type T (ยง4.3.4), or a type argument S is the same as type argument TA reference type S is a subtype of a reference type T