blob: 06185510844bb05cdf8011bcb419c682a91f0cb6 [file] [log] [blame]
import java.io.*;
class CatchParameter {
void m() {
try (InputStream in = new FileInputStream("filename")) { // don't warn about 'in' because it is implicitly final
} catch (FileNotFoundException | RuntimeException e) { // don't warn about 'e' because it is implicitly final
} catch (IOException e) {
throw new RuntimeException(e);
}
}
}