Skip to content

Cover missing bodies in target-name errors - #3231

Merged
adamtheturtle merged 1 commit into
mainfrom
test-target-name-error-missing-body
Sep 11, 2026
Merged

adamtheturtle merged 1 commit into
mainfrom
test-target-name-error-missing-body

Conversation

@adamtheturtle

Copy link
Copy Markdown
Member

TargetNameExistError.target_name already rejects responses whose request
body is absent, but that public error-contract path was not tested and carried
a coverage exclusion.

This adds a public-interface test which constructs the documented response
value, accesses the exception property, and verifies its TypeError. The
existing successful duplicate-name tests continue to cover the valid-body
path, so the coverage pragma is no longer needed.

Validation:

  • all pre-commit hooks
  • all pre-push hooks, including mypy, Pyright, Ty, and Pyrefly
  • full test suite: 467 passed
  • coverage gate: 100.00%

@adamtheturtle
adamtheturtle merged commit d7fd3ec into main Sep 11, 2026
13 checks passed
@adamtheturtle
adamtheturtle deleted the test-target-name-error-missing-body branch September 11, 2026 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant