Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
interning
/
IterableGenerics.java
blob: 6b194e1c59e8ff4e341605a04efe1568a9a467bf [
file
] [
log
] [
blame
]
public
class
IterableGenerics
{
interface
Data
extends
Iterable
<
String
>
{}
<
T
extends
Data
>
void
typeParam
(
T t
)
{
for
(
String
s
:
t
)
{}
}
void
wildcard
(
Iterable
<?
extends
Data
>
t
)
{
for
(
Object
a
:
t
.
iterator
().
next
())
{}
}
}