refactor(api): narrow otel instrumentor typing#33853
refactor(api): narrow otel instrumentor typing#33853wangji0923 wants to merge 3 commits intolanggenius:mainfrom
Conversation
Summary of ChangesHello, I'm Gemini Code Assist1! I'm currently reviewing this pull request and will post my feedback shortly. In the meantime, here's a summary to help you and other reviewers quickly get up to speed! This pull request refactors the OpenTelemetry instrumentation setup by introducing explicit type narrowing for instrumentor instances. The primary goal is to resolve Highlights
🧠 New Feature in Public Preview: You can now enable Memory to help Gemini Code Assist learn from your team's feedback. This makes future code reviews more consistent and personalized to your project's style. Click here to enable Memory in your admin console. Using Gemini Code AssistThe full guide for Gemini Code Assist can be found on our documentation page, here are some quick tips. Invoking Gemini You can request assistance from Gemini at any point by creating a comment using either
Customization To customize Gemini Code Assist for GitHub experience, repository maintainers can create a configuration file and/or provide a custom code review style guide (such as PEP-8 for Python) by creating and adding files to a Limitations & Feedback Gemini Code Assist may make mistakes. Please leave feedback on any instances where its feedback is incorrect or counter productive. You can react with 👍 and 👎 on @gemini-code-assist comments. If you're interested in giving your feedback about your experience with Gemini Code Assist for GitHub and other Google products, sign up here. Footnotes
|
There was a problem hiding this comment.
Code Review
This pull request refactors the OpenTelemetry instrumentation setup to use more specific types for instrumentor instances, addressing an issue with pyrefly type inference. The changes introduce Protocol-based types and factory functions to wrap instrumentor creation, successfully narrowing the types without altering runtime behavior. The implementation is clean and effective. I have a couple of suggestions to make the new type definitions even more precise, further improving type safety.
Pyrefly Diffbase → PR--- /tmp/pyrefly_base.txt 2026-03-21 22:34:52.954972379 +0000
+++ /tmp/pyrefly_pr.txt 2026-03-21 22:34:43.274925984 +0000
@@ -491,16 +491,6 @@
--> dify_graph/nodes/variable_assigner/v1/node.py:98:100
ERROR `income_value` may be uninitialized [unbound-name]
--> dify_graph/nodes/variable_assigner/v1/node.py:102:26
-ERROR Object of class `NoneType` has no attribute `instrument_app` [missing-attribute]
- --> extensions/otel/instrumentation.py:103:5
-ERROR Object of class `NoneType` has no attribute `instrument` [missing-attribute]
- --> extensions/otel/instrumentation.py:109:9
-ERROR Object of class `NoneType` has no attribute `instrument` [missing-attribute]
- --> extensions/otel/instrumentation.py:113:5
-ERROR Object of class `NoneType` has no attribute `instrument` [missing-attribute]
- --> extensions/otel/instrumentation.py:117:5
-ERROR Object of class `NoneType` has no attribute `instrument` [missing-attribute]
- --> extensions/otel/instrumentation.py:123:9
ERROR Object of class `NoneType` has no attribute `instrument` [missing-attribute]
--> extensions/otel/runtime.py:96:9
ERROR Pyrefly detected conflicting types while breaking a dependency cycle: `Path | None` is not assignable to `None`. Adding explicit type annotations might possibly help. [bad-assignment]
|
Important
Fixes #<issue number>.Summary
NoneTypehas no attribute #32599api/extensions/otel/instrumentation.pyto the methods we actually call so pyrefly no longer infers them asNoneTypeScreenshots
Verification
uv run --project api --group dev --no-default-groups pyrefly check api/extensions/otel/instrumentation.pyuv run --project api --group dev --no-default-groups ruff check api/extensions/otel/instrumentation.pyNotes
Checklist
make lintandmake type-check(backend) andcd web && npx lint-staged(frontend) to appease the lint gods