carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-04 14:31:04 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Bug fix: give output pattern splices correct types. (#7390)

Browse Source 
Also add a CHECK to catch bugs like this.
This commit is contained in:
Geoff Romer
2026-06-18 22:59:45 +00:00
committed by GitHub
parent 2ec915eab6
commit 833e0c418e
4 changed files with 50 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/function.cpp
+2 -1
View File
@@ -45,8 +45,9 @@ auto FindSelfPattern(Context& context,
auto AddReturnPattern(Context& context, SemIR::LocId loc_id,
Context::FormExpr form_expr) -> SemIR::InstId {
auto result_type_id = GetPatternType(context, form_expr.type_component_id);
auto result_type_inst_id = context.types().GetTypeInstId(result_type_id);
auto result_id = HandleAction<SemIR::OutFormParamPatternAction>(
context, loc_id, form_expr.type_component_inst_id,
context, loc_id, result_type_inst_id,
{.type_id = SemIR::InstType::TypeId, .form_id = form_expr.form_inst_id});
return AddInst<SemIR::ReturnSlotPattern>(
context, loc_id,