mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-05 22:02:55 +01:00
Dana Jansens
6359e3f550
The self value can be a facet-value or a facet-value-as-type. The self value used in `require` decls is the former. The the self value used for identifying the facet type is the latter, we end up with two different required interfaces in the identified facet type: one for each self value. Always canonicalize the self value to a facet value in identification. Then dedupe the list of extend interfaces when constructing the `IdentifiedFacetType` before counting them. And then impl lookup needs to canonicalize its query self for comparing with the result from the `IdentifiedFacetType`.
32 lines
1.2 KiB
Plaintext
32 lines
1.2 KiB
Plaintext
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
// Exceptions. See /LICENSE for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
// INCLUDE-FILE: toolchain/testing/testdata/min_prelude/convert.carbon
|
|
//
|
|
// AUTOUPDATE
|
|
// TIP: To test this file alone, run:
|
|
// TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/facet/identify_self_canonicalized.carbon
|
|
// TIP: To dump output, run:
|
|
// TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/facet/identify_self_canonicalized.carbon
|
|
|
|
// --- identify_self_canonicalized.carbon
|
|
library "[[@TEST_NAME]]";
|
|
|
|
interface Z {}
|
|
|
|
constraint W {
|
|
extend require impls Z;
|
|
}
|
|
|
|
interface Y {}
|
|
|
|
// T is a facet value (a SymbolicBinding), which is converted to `type`. The
|
|
// identified facet type finds `(T as type) impls Z` from the top level facet
|
|
// type. It also finds `T as Z` through `W`. It's possible for these to disagree
|
|
// on the self and thus present as two different required interfaces in the
|
|
// identified facet type. Instead we should only get a single interface with the
|
|
// canonical `T` facet value as the self value.
|
|
|
|
impl forall [T:! Y] T as W & Z {}
|