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

Test that a named constraint can't be used inside its definition through an alias to its name (#6922)

Browse Source 
We only want to allow using the named constraint through `Self`, as
proposed in #6902.
This commit is contained in:
Dana Jansens
2026-03-17 17:31:20 +00:00
committed by GitHub
parent 2e32f309eb
commit 87fc05750b
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/named_constraint/require.carbon
Vendored
+14
View File
@@ -183,6 +183,20 @@ constraint Z {
require impls Z;
}
// --- fail_require_impls_incomplete_self_through_alias.carbon
library "[[@TEST_NAME]]";
constraint Z;
alias Y = Z;
constraint Z {
// CHECK:STDERR: fail_require_impls_incomplete_self_through_alias.carbon:[[@LINE+4]]:17: error: facet type in `require` declaration refers to the named constraint `Z` from within its definition [RequireImplsReferenceCycle]
// CHECK:STDERR: require impls Y;
// CHECK:STDERR: ^
// CHECK:STDERR:
require impls Y;
}
// --- fail_require_impls_incomplete_self_forward_declared.carbon
library "[[@TEST_NAME]]";