Is there a particular reason this is an `error-pattern` rather than a `//~ ERROR` line error?