//# publish

// This test checks that for each function definition
//   1) type parameters have correct kind constraints
//   2) variables have correct types

module 0x1.M {
    public id<T>(x: T): T {
    label b0:
        return move(x);
    }

    public foo<T1, T2, T3: key, T4: copy + drop>(x1: T4, x2: T3) {
        let x3: T2;
        let x4: T1;
    label b0:
        abort 0;
    }
}