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
|