Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
all-systems
/
Throw.java
blob: 0edcff67cb736205b39a3bb51e04a3f353318a7d [
file
] [
log
] [
blame
]
import
java
.
util
.
List
;
public
class
Throw
{
<
E
extends
Exception
>
void
throwTypeVar
(
E ex
)
{
try
{
throw
ex
;
}
catch
(
Exception
e
)
{
}
}
void
throwWildcard
(
List
<?
extends
Exception
>
list
)
{
try
{
throw
list
.
get
(
0
);
}
catch
(
Exception
e
)
{
}
}
}