Add GetSpecialAttr.

[dnwpark]

Allows getting the __name__, __module__, __qualname__ special attributes.

    d = eval_typing(GetSpecialAttr[int, Literal["__name__"]])
    assert d == Literal["int"]
    d = eval_typing(GetSpecialAttr[list[int], Literal["__name__"]])
    assert d == Literal["list"]

    d = eval_typing(GetSpecialAttr[C, Literal["__name__"]])
    assert d == Literal["C"]
    d = eval_typing(GetSpecialAttr[C, Literal["__module__"]])
    assert d == Literal["tests.test_type_eval"]
    d = eval_typing(GetSpecialAttr[C, Literal["__qualname__"]])
    assert d == Literal["test_eval_typename_03.<locals>.C"]

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
python-typemap	Ready	Preview, Comment	Jan 30, 2026 10:09pm

[msullivan]

This seems plausible, but if we are doing this, we probably also need to expose __module__ (and maybe __qualname__?).

And adding one operator for this is probably OK but multiple ones seems to be stretching it.

Would it be too much of a hack to define GetAttr to work on __name__, __module__, and __qualname__ without putting those fields in Members?

If it is, then maybe we could add a GetMetadataAttr that supports stuff like __name__.

Thoughts?

[msullivan]

Probably should return Never