Enum.value explicit Any fallback is reported as unknown-attribute-access #5281

Describe the bug

The bundled typeshed declares Enum.value -> Any explicitly (1.4.0 stub). Reading it through the base Enum produces unknown-attribute-access, even when assigning it to object. The error-kind documentation says explicit Any accesses are intentional and not reported. I expected the explicit stub fallback to retain that distinction; I am not asking Pyrefly to infer a concrete payload from a bare Enum.

Reproduced with Pyrefly 1.4.0 and CPython 3.14.8 on macOS. Pyrefly 1.3.2 accepts this example with the same configuration. Mypy 2.4.0 (strict, without project plugins) and Pyright 1.1.414 also accept it.

Reproducer

from enum import Enum

def read_value(option: Enum) -> object:
    value: object = option.value
    return value

Save this as pyrefly.toml:

preset = "all"
python-version = "3.14"

Compare:

uvx --from pyrefly==1.3.2 pyrefly check --config pyrefly.toml enum_explicit_any.py
uvx --from pyrefly==1.4.0 pyrefly check --config pyrefly.toml enum_explicit_any.py

Pyrefly 1.4.0 output

The type of attribute `value` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]