Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
framework
/
tests
/
all-systems
/
Issue2195.java
blob: 4bee9a2c1d61c24f8b7a889b5d4ce900f382f0bc [
file
] [
log
] [
blame
]
// Test case for Issue 2195.
@SuppressWarnings
(
"unchecked"
)
public
class
Issue2195
{
interface
A
{}
interface
B
{}
class
C
<
T
extends
B
&
A
>
{
C
(
T t
)
{}
}
class
X
{
X
(
B b
)
{
new
C
(
b
);
}
}
}