@inline void fail(error, int pos) { if (failPos > pos) { return; } if (failPos < pos) { failPos = pos; failures.clear(); } failures.add(error); }