Skip to content

Underspecified type variables should not infer UninhabitedType #3032

Open
@ddfisher

Description

@ddfisher

Unconstrained TypeVars should not infer UninhabitedType as the result -- it leads to confusing behavior.

(See: testUnderspecifiedInferenceResult)

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions