I tend to prefer `@expectedFailure` for things that are known to fail, so that if we fix them, we know that either the `@expectedFailure` should go away, or we've silently broken things.