Repository navigation
annotationlib: ref.evaluate(format=Format.FORWARDREF) not evaluating global generics with undefined params #138425
Description
Bug report
Bug description:
from typing import Sequence
from annotationlib import Format, get_annotations
class A:
x: fails[Sequence, undef]
y: fails[list, undef]
z: works[list, list]
x_anno = get_annotations(A, format=Format.FORWARDREF)["x"]
y_anno = get_annotations(A, format=Format.FORWARDREF)["y"]
z_anno = get_annotations(A, format=Format.FORWARDREF)["z"]
fails = dict
works = dict
print(x_anno.evaluate(format=Format.FORWARDREF))
print(y_anno.evaluate(format=Format.FORWARDREF))
print(z_anno.evaluate(format=Format.FORWARDREF))This should print:
dict[Sequence, undef]
dict[list, undef]
dict[list, list]Instead, the following is outputted:
ForwardRef('fails[__annotationlib_name_1__, undef]', is_class=True, owner=<class '__main__.A'>)
ForwardRef('fails[__annotationlib_name_1__, undef]', is_class=True, owner=<class '__main__.A'>)
dict[list, list]The issue seems to be that the globals are not considered when creating the _StringifierDict in this code path (whereas builtins and locals are):
https://github.com/python/cpython/blob/572df47840d910b9fc9cd951074232ae89442be1/Lib/annotationlib.py#L190C13-L196C14n
CPython versions tested on:
CPython main branch, 3.14
Operating systems tested on:
Linux
Activity
gh-138425: Correctly partially evaluate global generics with undefine…
pythongh-138425: Correctly partially evaluate global generics with un…
[3.14] gh-138425: Correctly partially evaluate global generics with u…
pythongh-138425: Correctly partially evaluate global generics with un…