issue with intersection compatibility with nested union

[KotlinIsland]

from __future__ import annotations

class A: ...
class B: ...
class C: ...

a: A & (B | C)
b: A & (B | C) = a  # Incompatible types in assignment (expression has type "A & B | C", variable has type "A & B | C")