Мит о компатибилности типова: Супротности се не привлаче увек