(🐞) No error when assigning non-concrete type object to variable of type bound with a union (Protocol, abstract)

[KotlinIsland]

from typing import Protocol, Callable
from abc import ABC, abstractmethod

class A(ABC):
    @abstractmethod
    def f(self) -> None: ...
    
class P(Protocol):
    a: int

ta1: type[A] = A   # error

ta2: type[A | P] = A  # no error

playground

[AlexWaygood]

This looks like it might be the inverse to #3115 ("join of two abstract classes being considered concrete", rather than "join of two concrete classes being considered abstract "). Not 100% sure about that diagnosis, though.

[KotlinIsland]

Yeah, I found it in that exact case when I was implementing Unions at joins