// Test case for issue #2434: http://tinyurl.com/cfissue/2434 | |
import org.checkerframework.checker.index.qual.SameLen; | |
public class SameLenOnFormalParameterSimple { | |
public void requiresSameLen1(String x1, @SameLen("#1") String y1) {} | |
public void m1(@SameLen("#2") String a1, String b1) { | |
requiresSameLen1(a1, b1); | |
} | |
} |