Здравствуйте, T4r4sB, Вы писали:

TB>Немерле самый лучший язык, это понятно. Только какой тип у этого x внутри блока? B или C? Или комплиятор должен неявно продублировать тело ветки?

Наиболее частный общий. Т.е. если у нас есть некая иерархия — это будут типы наиболее вложенные в ней, но которые могут удовлетворить условию.

Скажем для данного примера это будет A. А если создать более ветвистую иерархию, например:

class A {}
class B : A {}
class C : B {}
class D : A {}
class E : B {}

то для E и C общим будет B, а для других сочетаний A.