[case testRedundantAnnotation]

# flags: --warn-redundant-annotation

from typing import Literal

a = 1

b: int = a

c: Literal[1] = 1

d: list[str] = []

[out]

main:3: error: Annotation "int" is redundant (inferred type is the same)

main:4: error: Annotation "int" is redundant (inferred type is the same)

main:5: error: Annotation "Literal[1]" is redundant (inferred type is the same)

[case testRedundantAnnotationClassVar]

# flags: --warn-redundant-annotation

[out]

main:5: error: Annotation "int" is redundant (inferred type is the same)

[case testRedundantAnnotationTypeVar]

# flags: --warn-redundant-annotation

from typing import Literal, TypeVar

T = TypeVar("T")

def f(x: T) -> T:

return x

x: Literal[1] = f(1)

y: list[str] = f([])

[case testRedundantAnnotationSkips]

# flags: --warn-redundant-annotation

from dataclasses import dataclass