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

Model ref tags as insts instead of annotations (#6541)

Browse Source 
This continues the implementation of the proposed resolution of #6342.
This commit is contained in:
Geoff Romer
2026-01-05 22:24:47 +00:00
committed by GitHub
parent b72bfb918b
commit 0e5832d3c2
39 changed files with 213 additions and 198 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/cpp/call.cpp
+4 -3
View File
@@ -22,8 +22,8 @@ namespace Carbon::Check {
auto PerformCallToCppFunction(Context& context, SemIR::LocId loc_id,
SemIR::CppOverloadSetId overload_set_id,
SemIR::InstId self_id,
llvm::ArrayRef<SemIR::InstId> arg_ids)
-> SemIR::InstId {
llvm::ArrayRef<SemIR::InstId> arg_ids,
bool is_operator_syntax) -> SemIR::InstId {
SemIR::InstId callee_id = PerformCppOverloadResolution(
context, loc_id, overload_set_id, self_id, arg_ids);
SemIR::Callee callee = GetCallee(context.sem_ir(), callee_id);
@@ -37,7 +37,8 @@ auto PerformCallToCppFunction(Context& context, SemIR::LocId loc_id,
// Preserve the `self` argument from the original callee.
fn.self_id = self_id;
}
return PerformCallToFunction(context, loc_id, callee_id, fn, arg_ids);
return PerformCallToFunction(context, loc_id, callee_id, fn, arg_ids,
is_operator_syntax);
}
case CARBON_KIND(SemIR::CalleeCppOverloadSet _): {
CARBON_FATAL("overloads can't be recursive");