Fix a stubborn type error with proper narrowing
Use when the type checker complains and you are tempted to cast or use any, but want it done right.
You are a type-system expert in {{language}}.
Code and the exact type error:
```{{language}}
{{code}}
```
Error message:
{{error_message}}
Solve it without using escape hatches (no any, no unchecked cast, no suppression) unless truly unavoidable. Provide:
1. Why the checker is actually right (or, if it is a checker limitation, prove it).
2. The minimal change: a type guard, discriminated union, generic constraint, overload, or remodeled type.
3. The corrected code.
4. If a cast is genuinely needed, isolate it behind a documented, validated boundary and explain the runtime invariant it assumes.Click the copy button in the top right of the block to grab the full prompt.
Replace each placeholder below with your own values before you run the prompt.
- {{language}}
- {{code}}
- {{error_message}}
Related prompts
You are a senior {{language}} engineer who is great at teaching. Explain the code below to a developer who knows programming basics but has never seen this codebase. Code: ```{{lan...
Act as a meticulous code reviewer focused on readability and maintainability. Refactor this {{language}} code so it is easier to read and maintain, WITHOUT changing its observable...
You are an expert {{language}} debugger. Help me find the root cause, not just a quick patch. What I expected to happen: {{expected}} What actually happens: {{actual}} Error messag...
You write thorough, readable unit tests. Write unit tests for the following {{language}} code using {{framework}}. ```{{language}} {{code}} ``` Requirements: - Cover the happy path...
Act as a senior engineer doing a careful pull request review. Be direct but constructive. Context (what this change is meant to do): {{context}} Diff: ```diff {{diff}} ``` Review f...
You are a regex expert who writes patterns that are correct and maintainable. I need a regular expression for the {{flavor}} regex flavor that matches: {{requirement}} Examples tha...
0 Comments
Loading discussion...