checker/tests/nullness/TryWithResourcesAnno.java

// Test case for https://tinyurl.com/cfissue/3305 .

import org.checkerframework.checker.nullness.qual.Nullable;

public class TryWithResourcesAnno {
  public static void f() {
    try (@Nullable AutoCloseable obj = null) {
    } catch (Exception e) {
    }
  }

  public static void g() {
    try (@Nullable AutoCloseable obj1 = null;
        AutoCloseable obj2 = null) {
    } catch (Exception e) {
    }
  }

  public static void h() {
    try (AutoCloseable obj1 = null;
        @Nullable AutoCloseable obj2 = null) {
    } catch (Exception e) {
    }
  }
}