class B { static var c: C { C() } } class C: B {} func foo(_: B) {} foo(.c) ルール的にはレシーバのサブタイプなので、矛盾はしてないかな？