validation-test/compiler_scale/callee_analysis_invalidation.gyb

// RUN: %scale-test -O --polynomial-threshold 0.2 --begin 20 --end 25 --step 1 --select computeMethodCallees %s
// REQUIRES: asserts

class C0<T:FixedWidthInteger> {
    func foo() {
        return
    }
}

%for i in range(1, int(N)):
class C${i}<T:FixedWidthInteger> {
    func foo() {
        let c : C${i-1}<T> = C${i-1}()
        c.foo()
    }
}
%end

public func bar() {
    let c : C${int(N)-1}<Int> = C${int(N)-1}()
    c.foo()
}