ruff UP038: tool crashes
Hypothesis Nemotron 3 Super predicted to fire did not fire
isinstance(x, (bytes, str)) distinguishes text and binary data; rewriting preserves this but must not be confused with encoding/decoding behavior.
Program
Output
(no stdout)
(not run)
- fired
- 0 before · 0 after
- runs
- each version twice, same file name, no network
Judge Nemotron 3 Ultra advisory program-bug · low
The linter crashed because rule UP038 was removed from the codebase and cannot be selected, not because of any rewrite applied to the program. The program itself is trivial and unrelated to the rule's functionality.
Explanation Nemotron 3 Super unverified
The original program assigns the Unicode character é to variable y; the attempted rewrite removes this assignment entirely because it incorrectly assumes the value is unused or constant-propagatable without considering that the literal may have semantic effects such as encoding-dependent behavior, debugging visibility, or reliance in later code not visible in the snippet. Eliminating the assignment changes program state by omitting a defined variable, potentially causing undefined behavior if y is referenced later, altering control flow, or affecting side effects in contexts where variable initialization matters—even if not apparent in the isolated snippet. Thus, the rewrite is not semantics-preserving.
Reproduce
- file
prog.py(the before program)- minimized program
- r1-p004.py
- evidence sheet
- r1-p004.md
- regression fixture
- r1-p004.py the minimized program with a header stating the observed change, for the tool's test suite
python3 prog.py ruff check --preview --isolated --select UP038 --fix prog.py python3 prog.py
Upstream search GitHub issues Tavily Nemotron 3 Super + Ultra
UP038 fix · ruff UP038 Unicode escape · rule UP038 string literal · remove UP038 lint crash
- related astral-sh/ruff/issues/13051 same rule UP038 but about documentation safety not a crash on a unicode literal
- related astral-sh/ruff/issues/7871 same rule UP038 but about performance regression on isinstance tuples not a crash on a unicode literal
- related astral-sh/ruff/issues/18349 same rule UP038 but about deprecation warning UX not a crash on a unicode literal
Details
- program
- Bytes vs String in Mixed-Type Check
- hazard
- isinstance(x, (bytes, str)) distinguishes text and binary data; rewriting preserves this but must not be confused with encoding/decoding behavior.
- oracle
lint crashed: ruff failed Cause: Rule `UP038` was removed and cannot be selected.- run
- 2026-10-17T21-20-52-142Z-httm-ruff-UP038
generated program (6 lines) and the fix's diff
rule documentation given to the models
# non-pep604-isinstance (UP038) Derived from the **pyupgrade** linter. Fix is always available. ## Removed This rule was removed as using [PEP 604] syntax in `isinstance` and `issubclass` calls isn't recommended practice, and it incorrectly suggests that other typing syntaxes like [PEP 695] would be supported by `isinstance` and `issubclass`. Using the [PEP 604] syntax is also slightly slower. ## What it does Checks for uses of `isinstance` and `issubclass` that take a tuple of types for comparison. ## Why is this bad? Since Python 3.10, `isinstance` and `issubclass` can be passed a `|`-separated union of types, which is consistent with the union operator introduced in [PEP 604]. Note that this results in slower code. Ignore this rule if the performance of an `isinstance` or `issubclass` check is a concern, e.g., in a hot loop. ## Example ```python isinstance(x, (int, float)) ``` Use instead: ```python isinstance(x, int | float) ``` ## Options - `target-version` ## References - [Python documentation: `isinstance`](https://docs.python.org/3/library/functions.html#isinstance) - [Python documentation: `issubclass`](https://docs.python.org/3/library/functions.html#issubclass) [PEP 604]: https://peps.python.org/pep-0604/ [PEP 695]: https://peps.python.org/pep-0695/