Use explicit behavioral labels for Vitest cases.
- Use
It catches ...for invalid input that must produce diagnostics. - Use
It allows ...for valid input that must pass without diagnostics. - Keep labels implementation-neutral and behavior-focused; avoid wording like
fails onorpasses.