Package-level declarations

No valid choice of inference variables exists.

S = T, where at least one of S or T is an inference variable: S is the same as T.

S <: T, where at least one of S or T is an inference variable: S is a subtype of T

The inference variable α appears in a throws clause.