# pylint: disable=missing-module-docstring,missing-class-docstring,invalid-name,too-few-public-methods,missing-function-docstring from typing import reveal_type, NoReturn from functools import cached_property class cached_property_readonly[T](cached_property[T]): def __set__(self, instance: object, val: T) -> NoReturn: raise AttributeError("BAD") class ice_weasels: @cached_property def harf(self) -> list[int]: return [1, 2, 3] @cached_property_readonly def blah(self) -> list[int]: return [1, 2, 3] d = ice_weasels() reveal_type(d.harf) # mypy reports list[int] reveal_type(d.blah) # mypy reports list[int] for _ in d.harf: # No complaints from mypy or pylint pass for _ in d.blah: # No complaints from mypy, but pylint gives not-an-iterable pass # If the cached_property_readonly class is not Generic over T and inheriting from # cached_property[T], then mypy reports the revealed type of blah as Any.

************* Module test test.py:26:9: E1133: Non-iterable value d.blah is used in an iterating context (not-an-iterable)