// Test case for issue #2434: http://tinyurl.com/cfissue/2434

import org.checkerframework.checker.index.qual.SameLen;

class SameLenOnFormalParameterSimple {
    public void requiresSameLen1(String x1, @SameLen("#1") String y1) {}

    public void m1(@SameLen("#2") String a1, String b1) {
        requiresSameLen1(a1, b1);
    }
}