Skip to content

Bidirectional inference with comprehensions #1602

@gjcarneiro

Description

@gjcarneiro

Summary

With Ty a27, a simple dict literal {"foo": "abc"} is interpreted as dict[Unknown | str, Unknown | str], which causes downstream problems.

https://play.ty.dev/9134dfe2-2020-4bcd-8549-4d22e562a562

Version

ty 0.0.1-alpha.27

Metadata

Metadata

Assignees

Labels

bidirectional inferenceInference of types that takes into account the context of a declared type or expected type

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions