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

In indirect_import_member test, make the alias avoid name poisoning (#4635)

Browse Source 
This is a preparation change for introducing name poisoning
(https://github.com/carbon-language/carbon-lang/issues/4622), which
would have broken this test.
This commit is contained in:
Boaz Brickner
2024-12-05 18:24:56 +00:00
committed by GitHub
parent efab39cbd9
commit 1409666e6a
1 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/class/no_prelude/indirect_import_member.carbon
Vendored
+12 -11
View File
@@ -47,7 +47,7 @@ library "[[@TEST_NAME]]";
import library "c";
class D {
alias C = C;
alias C = package.C;
}
// --- f.carbon
@@ -214,6 +214,7 @@ var x: () = D.C.F();
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: class @D {
// CHECK:STDOUT: %package.ref: <namespace> = name_ref package, package [template = package]
// CHECK:STDOUT: %C.ref: type = name_ref C, imports.%import_ref.1 [template = constants.%C]
// CHECK:STDOUT: %C: type = bind_alias C, imports.%import_ref.1 [template = constants.%C]
// CHECK:STDOUT: %complete_type: <witness> = complete_type_witness %empty_struct_type [template = constants.%complete_type]
@@ -402,12 +403,12 @@ var x: () = D.C.F();
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//e, inst+3, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref Main//e, inst+14, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref Main//e, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//e, inst+4, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//e, inst+13, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//e, inst+9, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//e, inst+10, unloaded
// CHECK:STDOUT: %import_ref.7: %F.type = import_ref Main//e, inst+11, loaded [template = constants.%F]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//e, inst+14, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//e, inst+10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//e, inst+11, unloaded
// CHECK:STDOUT: %import_ref.7: %F.type = import_ref Main//e, inst+12, loaded [template = constants.%F]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {
@@ -462,12 +463,12 @@ var x: () = D.C.F();
// CHECK:STDOUT:
// CHECK:STDOUT: imports {
// CHECK:STDOUT: %import_ref.1: type = import_ref Main//e, inst+3, loaded [template = constants.%D]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref Main//e, inst+14, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.2: <witness> = import_ref Main//e, inst+15, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.3 = import_ref Main//e, inst+4, unloaded
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//e, inst+13, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//e, inst+9, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//e, inst+10, unloaded
// CHECK:STDOUT: %import_ref.7: %F.type = import_ref Main//e, inst+11, loaded [template = constants.%F]
// CHECK:STDOUT: %import_ref.4: type = import_ref Main//e, inst+14, loaded [template = constants.%C]
// CHECK:STDOUT: %import_ref.5: <witness> = import_ref Main//e, inst+10, loaded [template = constants.%complete_type]
// CHECK:STDOUT: %import_ref.6 = import_ref Main//e, inst+11, unloaded
// CHECK:STDOUT: %import_ref.7: %F.type = import_ref Main//e, inst+12, loaded [template = constants.%F]
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: file {