David Peter a6572a57c4 [red-knot] Attribute access on intersection types (#16665) ...

## Summary

Implements attribute access on intersection types, which didn't
previously work. For example:

```py
from typing import Any

class P: ...
class Q: ...

class A:
    x: P = P()

class B:
    x: Any = Q()

def _(obj: A):
    if isinstance(obj, B):
        reveal_type(obj.x)  # revealed: P & Any
```

Refers to [this comment].

[this comment]:
https://github.com/astral-sh/ruff/pull/16416#discussion_r1985040363

## Test Plan

New Markdown tests

2025-03-12 13:20:17 +01:00

..

module_resolver

[red-knot] Rework Type::to_instance() to return Option<Type> (#16428)

2025-03-11 16:42:44 +00:00

semantic_index

[red-knot] detect invalid return type (#16540)

2025-03-12 01:58:59 +00:00

types

[red-knot] Binary operator inference for union types (#16601)

2025-03-12 08:21:54 +01:00

util

[red-knot] Improve ergonomics for the PySlice trait (#13983)

2024-10-29 20:40:59 +00:00

ast_node_ref.rs

[red-knot] Support unpacking with target (#16469)

2025-03-08 02:36:35 +00:00

db.rs

Add OsSystem support to mdtests (#16518)

2025-03-06 10:41:40 +01:00

lib.rs

[red-knot] Don't use separate ID types for each alist (#16415)

2025-02-28 14:55:55 -05:00

lint.rs

Add knot.toml schema (#15735)

2025-02-07 10:59:40 +01:00

list.rs

[red-knot] Don't use separate ID types for each alist (#16415)

2025-02-28 14:55:55 -05:00

module_name.rs

Bind top-most parent when importing nested module (#14946)

2024-12-16 16:15:40 -05:00

node_key.rs

[red-knot] Use memory address as AST node key (#14317)

2024-11-13 14:35:54 +01:00

program.rs

Rename venv-path to python (#16347)

2025-02-24 19:41:06 +01:00

python_platform.rs

Add knot.toml schema (#15735)

2025-02-07 10:59:40 +01:00

semantic_index.rs

Add OsSystem support to mdtests (#16518)

2025-03-06 10:41:40 +01:00

semantic_model.rs

[red-knot] Rename *_ty functions (#15617)

2025-01-22 09:06:56 +01:00

site_packages.rs

Add OsSystem support to mdtests (#16518)

2025-03-06 10:41:40 +01:00

suppression.rs

ruff_db: add "secondary" messages to Diagnostic trait

2025-02-19 08:24:19 -05:00

symbol.rs

[red-knot] Attribute access and the descriptor protocol (#16416)

2025-03-07 22:03:28 +01:00

types.rs

[red-knot] Attribute access on intersection types (#16665)

2025-03-12 13:20:17 +01:00

unpack.rs

[red-knot] Support unpacking with target (#16469)

2025-03-08 02:36:35 +00:00