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

Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192)

Browse Source 
Avoids misbehavior caused by GetInstForSpecific's side effects, such as
recursively reentering constant evaluation.
This commit is contained in:
Richard Smith
2025-03-26 22:53:32 +00:00
committed by GitHub
parent e65866d8c3
commit 4acc9cac5d
35 changed files with 136 additions and 107 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/function/declaration/no_prelude/name_poisoning.carbon
Vendored
+2 -2
View File
@@ -69,7 +69,7 @@ fn F1();
namespace N;
alias N.F2 = F1;
// CHECK:STDERR: fail_use_poison.carbon:[[@LINE+4]]:14: error: member name `F1` not found in `N` [MemberNameNotFoundInScope]
// CHECK:STDERR: fail_use_poison.carbon:[[@LINE+4]]:14: error: member name `F1` not found in `N` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: alias N.F3 = N.F1;
// CHECK:STDERR: ^~~~
// CHECK:STDERR:
@@ -97,7 +97,7 @@ fn N.F1();
// Failure: `N.F1` used after declaration failed.
// TODO: #4622 - Allow defining a poisoned name so it would be found if used after it's declared.
// CHECK:STDERR: fail_use_declaration_after_poison.carbon:[[@LINE+4]]:14: error: member name `F1` not found in `N` [MemberNameNotFoundInScope]
// CHECK:STDERR: fail_use_declaration_after_poison.carbon:[[@LINE+4]]:14: error: member name `F1` not found in `N` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: alias N.F3 = N.F1;
// CHECK:STDERR: ^~~~
// CHECK:STDERR: