// Test case for Issue 427:
// https://github.com/typetools/checker-framework/issues/427

// We need to add a warning when an @AssumeAssertion is missing its @ symbol (as below).

import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;

public class Issue427 {

  public static void assumeAssertionKeyFor1(String var, Map<String, Integer> m) {
    assert m.containsKey(var)
        : "@AssumeAssertion(keyfor): keys of leaders and timeKilled are the same";
    boolean b = (m.get(var) >= 22);
  }

  public static void assumeAssertionKeyFor2(String var, Map<String, Integer> m) {
    assert m.containsKey(var)
        : "@AssumeAssertion(keyfor): keys of leaders and timeKilled are the same";
    int x = m.get(var);
  }
}