Context.empty changed; possibly new errors created