swift234

[sil-verify] Fix checking of casts involving metatypes.

sil-verifier was using SIL types to check metatypes. But metatypes, especially metatypes of metatypes, use AST types. Therefore checks should be done based on AST types.

rdar://20153162

Swift SVN r26111