| ExpressionCompatibleWithType |
An expression is compatible in a loose invocation context with type T
|
| LambdaThrowsCompatibleWithType |
The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the
function type derived from T.
|
| MethodReferenceThrowsCompatibleWithType |
The checked exceptions thrown by the referenced method are declared by the throws clause of the function type
derived from T.
|
| TypeCompatibleWithType |
A type S is compatible in a loose invocation context with type T
|
| TypeContainedByType |
A type argument S is contained by a type argument T
|
| TypeSameAsType |
A type S is the same as a type T (ยง4.3.4), or a type argument S is the same as type argument T
|
| TypeSubtypeOfType |
A reference type S is a subtype of a reference type T
|