UseInMethodEffect.java

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