// Test case for issue #2541: https://github.com/typetools/checker-framework/issues/2541

public class LessThanConstantAddition {

    public static void checkedPow(int b) {
        if (b <= 2) {
            int c = (int) b;
        }
    }
}
