Clarify signification of Annotation

#1669 Clarified usage of Final in dataclasses. The following section was added:

Lines 179 to 181 in 42e9118

    
           ``Final`` may be wrapped only by other type qualifiers (e.g. ``ClassVar`` or 
        
           ``Annotation``). It cannot be used in a type parameter (e.g. 
        
           ``list[Final[int]]`` is not permitted.)

I believe Annotation means Annotated? If so, I can open a PR fixing this.

Ideally we could also update the conformance tests to add an extra final_annotated: Annotated[Final[int], ...]. It will be interesting to see the output, as mypy seems to reject it.

Good call, that should say Annotated. And yes, the conformance test suite should be expanded to cover those, and mypy should be fixed to follow the spec here.

The conformance tests already cover this case, and mypy's nonconformance has already been noted.

Navigation Menu

Repository navigation

Clarify signification of `Annotation` #1805

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

	``Final`` may be wrapped only by other type qualifiers (e.g. ``ClassVar`` or
	``Annotation``). It cannot be used in a type parameter (e.g.
	``list[Final[int]]`` is not permitted.)

Clarify signification of Annotation #1805

Description

Activity

JelleZijlstra commented on Jul 16, 2024

erictraut commented on Jul 16, 2024

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions

Clarify signification of `Annotation` #1805