swift

Add subclass existential support to type reconstruction

#8911

Merged