当 Any 位于通用参数内部时,过载解析会降级为 Any,而不仅仅是顶层级

Bug Report

文档中指出，只有当“参数为 Any 类型”时，返回类型才会变为 Any。但是当 Any 位于泛型参数（Sequence[Any] 与 Sequence[int]）内部时，mypy 也会将结果压缩为 Any，尽管第一个重载函数是明确匹配的。这是否是预期的行为？如果是，则“类型检查调用重载”部分可能应记录嵌套情况。