Move `GetTypeInInstance` from `Check` to `SemIR`.

carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

http://docs.carbon-lang.dev/

Other

32.24k stars 1.48k forks source link

Closed zygoloid closed 2 months ago

zygoloid commented 2 months ago

In preparation for this function being used by other parts of SemIR and by lowering.