Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
Issue3022.java
blob: dd890d504edabcaad0b034cfbf5eba8ca627fb05 [
file
] [
log
] [
blame
]
abstract
class
Super3022
<
T
>
{
class
Wrapper
{
Wrapper
(
T key
)
{}
}
}
class
Sub3022
<
K
>
extends
Super3022
<
K
>
{
void
wrap
(
K key
)
{
new
Wrapper
(
key
);
}
}