Walkthrough

Adds runtime validation ensuring TypeAliasType names are Python strings and changes the internal TypeAliasType.name field from PyObjectRef to PyStrRef, updating constructors, repr, and name handling accordingly.

Changes

Sequence Diagram(s)

sequenceDiagram
    participant Caller as Intrinsic Handler (frame.rs)
    participant Typing as TypeAliasType (typing.rs)
    participant VM as VirtualMachine

    Caller->>Typing: provide name (PyObjectRef) and type_params, value
    Typing->>Typing: downcast name -> PyStr
    alt downcast succeeds
        Typing->>Typing: construct TypeAliasType{name: PyStrRef, type_params, value}
        Typing-->>Caller: return TypeAliasType instance
    else downcast fails
        Typing-->>Caller: raise TypeError("TypeAliasType name must be a string")
    end

Estimated code review effort

🎯 3 (Moderate) | ⏱️ ~20 minutes

Possibly related PRs

• Type alias type #6011 — Modifies TypeAliasType construction/representation in vm/src/stdlib/typing.rs, overlapping constructor/validation changes.
• typing TypeAlias #5945 — Changes frame.rs intrinsic handling and typing.rs TypeAlias representation; closely related to combined edits here.
• Fix TypeParams, TypeAlias compile #5862 — Adjusts TypeAlias handling in frame.rs, including name/type_params validation patterns.

Poem

🐰 I hopped through code with nimble paws,
I checked each name for stringly laws.
PyStrRef snug where objects once lay,
Errors caught before they stray.
A tiny twitch, a safer day ✨

Pre-merge checks and finishing touches

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

_{Comment @coderabbitai help to get the list of available commands and usage tips.}