Skip to content

chore(instrumentation): simplify type checking - #39672

Draft
jamietanna wants to merge 2 commits into
mainfrom
chore/types-
Draft

chore(instrumentation): simplify type checking#39672
jamietanna wants to merge 2 commits into
mainfrom
chore/types-

Conversation

@jamietanna

Copy link
Copy Markdown
Contributor

Changes

As per suggestion in #39596 (comment)

Context

Please select one of the below:

  • This closes an existing Issue: #
  • This doesn't close an Issue, but I accept the risk that this PR may be closed if maintainers disagree with its opening or implementation

AI assistance disclosure

Did you use AI tools to create any part of this pull request?

Please select one option and, if yes, briefly describe how AI was used (e.g., code, tests, docs) and which tool(s) you used.

  • No — I did not use AI for this contribution.
  • Yes — minimal assistance (e.g., IDE autocomplete, small code completions, grammar fixes).
  • Yes — substantive assistance (AI generated non‑trivial portions of code, tests, or documentation).
  • Yes — other (please describe):

Documentation (please check one with an [x])

  • I have updated the documentation, or
  • No documentation update is required

How I've tested my work (please select one)

I have verified these changes via:

  • Code inspection only, or
  • Newly added/modified unit tests, or
  • No unit tests but ran on a real repository, or
  • Both unit tests + ran on a real repository

The public repository:

Co-authored-by: secustor <sebastian@poxhofer.at>

@secustor secustor left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs coverage

@viceice

viceice commented Dec 3, 2025

Copy link
Copy Markdown
Member

@viceice

viceice commented Mar 19, 2026

Copy link
Copy Markdown
Member

conflicted

@viceice
viceice marked this pull request as draft March 27, 2026 10:42
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.

3 participants