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

Document and test that structs with different field orders are different types for impl lookup (#5778)

Browse Source 
This encodes the decision of #5413 in our tests.
This commit is contained in:
Dana Jansens
2025-07-07 20:59:11 +00:00
committed by GitHub
parent ff9154b978
commit cd14dca749
1 changed files with 2 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/impl/lookup/struct.carbon
Vendored
+2 -7
View File
@@ -29,10 +29,8 @@ impl {.aa: (), .bb: ()} as Z where .X = D {
fn ZZ() -> D { return () as D; }
}
// TODO: Are structs with different field orders different types too, for impl
// lookup? Or should this impl be diagnosed as overlapping with the impl on
// `{.a, .b}`? Raised in:
// https://github.com/carbon-language/carbon-lang/issues/5413
// Structs with different field orders are different types too, for impl
// lookup. See https://github.com/carbon-language/carbon-lang/issues/5413.
impl {.b: (), .a: ()} as Z where .X = D {
fn ZZ() -> D { return () as D; }
}
@@ -46,8 +44,5 @@ fn G() {
// names.
let c1: C = F({.a: (), .b: ()});
let d1: D = F({.aa: (), .bb: ()});
// TODO: It is unclear if `F` should return `C` or `D`, since it has the same
// field names but different order as the impl that would give us `C` here.
let d2: D = F({.b: (), .a: ()});
}