Effect Annotations propagate incorrectly when the plugin is disabled

[lrytz]

class C { def m(): Int @pure = 1 }
def makeC: C @io = { println("In Factory"); new C }
def test = makeC.m()

When the effects plugin is not enabled, method test gets type Int @pure - bad.