Skip to content

panic: assertion left == right failed #1688

@correctmost

Description

@correctmost

Summary

ty crashes when checking this (fuzzed) code:

x: int

type x[T] = x[T, U]
Panicked at crates/ty_python_semantic/src/types/infer/builder.rs:11296:22 when checking `/home/user/foo.py`: `assertion `left == right` failed
  left: Some(Dynamic(Unknown))
 right: None`

Version

ty 0.0.1-alpha.29

Metadata

Metadata

Assignees

No one assigned

    Labels

    fatala fatal error (panic or crash)

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions