Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
all-systems
/
Issue393.java
blob: 436a033ff1a9e16b7cc30357fe337befc6fde397 [
file
] [
log
] [
blame
]
// Test case for Issue 393
// https://github.com/typetools/checker-framework/issues/393
abstract
class
TypeVarTaintCheck
{
void
test
()
{
wrap
(
new
Object
());
}
abstract
<
T
,
U
extends
T
>
void
wrap
(
U u
);
}