Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
formatter
/
Issue285.java
blob: 74faad6834892377f83b6344723fc37f224c0259 [
file
] [
log
] [
blame
]
// Test case for Issue 285:
// https://github.com/typetools/checker-framework/issues/285
public
class
Issue285
{
void
f
()
{
for
(
String
s
:
new
String
[]
{
"s"
})
{}
}
}