UndefinedParam.java

class C<effect E1> {
    void m() effect E2 {} // E2 is not in scope
}