Skip to content

Feature: show source of type narrowing/inference #958

Closed
Feature
Closed
Feature: show source of type narrowing/inference#958
Feature
Labels
language-serverIssues specific to our IDE integration rather than type checkingnarrowingIssues with narrowing - root cause is usually narrowing, flow handling, or bothtypechecking
@yangdanny97

Description

@yangdanny97
yangdanny97
opened on Aug 18, 2025

Describe the Bug

Long term we should build the infrastructure to trace where types are narrowed/inferred.

Being able to show the user "this type was narrowed on this line" or "this empty container type was pinned by this usage" will be useful to reduce confusion caused by type inference.

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    language-serverIssues specific to our IDE integration rather than type checkingnarrowingIssues with narrowing - root cause is usually narrowing, flow handling, or bothtypechecking

    Type

    Feature

    Fields

    No fields configured for Feature.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions