Think about how `Any` should interact with `Intersection`s

```py
class A:
a: int
x: A & Any
reveal_type(x) # A? A & Any?
reveal_type(x.a) # int? int & Any?
reveal_type(x.b) # error? Any?
```

I think the `Any` should just be deleted and it becomes `A`.

The issue provides only a Python example involving Any and intersections, with no files, tests, or entry points named. Start by determining the intended types for x, x.a, and x.b; done means reaching a clear decision on these semantics and covering the decision in the checker’s tests.

Written by the indexing model from the issue text.