import java.io.*;

// Tests related to resource variables in try-with-resources statements.

class ResourceVariables {
    void foo(InputStream arg) {
        try (InputStream in = arg) {
        } catch (IOException e) {
        }
    }
}