Package-level declarations

An expression is compatible in a loose invocation context with type T

The 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 T

A type argument S is contained by a type argument T

A type S is the same as a type T (§4.3.

A reference type S is a subtype of a reference type T