mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-05 09:21:04 +01:00
Jon Ross-Perkins
93a8c5230c
Right now, the impl lookup can both fail to resolve the specific definition because it's symbolic, and return a "final" constant because it's a `final impl`. This is adding an instruction to help ensure the specific is resolved. The constant evaluation is fully recursive, but I'm not adding a TODO since that's a known issue with impl lookup in general.