carbon-language/carbon-lang
1
0 Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-11-10 12:28:25 +00:00
Code Issues Packages Projects Releases 10 Wiki Activity

Some comment fixups from #7401 (#7421)

Browse Source
This commit is contained in:
Dana Jansens authored and GitHub committed 2026-10-23 19:59:09 +00:00
1 parent 6f6a01f859
commit bcb236e6cd
1 file changed
+5 -4
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/generic/identify_specific_facet_type.carbon
Vendored
+5 -4
View File
@@ -67,8 +67,9 @@ constraint S(N: Core.IntLiteral) {
extend require impls CanFailToMonomorphize(N);
}
// When we identify `T as (S(N) where .Z2 impls Y)`
// - we replace `.Self of type S(N)` with `T`
// When we call `F` and convert `T` to `S(N) where .Z2 impls Y`:
// - we identify `T as (S(N) where .Z2 impls Y)` for impl lookup
// - that replaces `.Self of type S(N)` with `T`
// - that identifies `T as S(N)`
// If the N is invalid, the identify fails in the middle of SubstPeriodSelf
//
@@ -80,8 +81,8 @@ fn F(generic N: Core.IntLiteral, generic _: S(N) where .Z2 impls Y) {}
fn G(generic T: Y) {
// CHECK:STDERR: fail_monomorphization_during_period_self_substitution.carbon:[[@LINE+5]]:3-10: error: constructed invalid specific for `S(N) where .(CanFailToMonomorphize(N).Z2) impls Y` from argument [SubstitutingGenericParamType]
// CHECK:STDERR: fail_monomorphization_during_period_self_substitution.carbon:[[@LINE-16]]:24-47: note: `CanFailToMonomorphize(N)` evaluates to incomplete type `CanFailToMonomorphize(-1)` [IncompleteTypeInMonomorphization]
// CHECK:STDERR: fail_monomorphization_during_period_self_substitution.carbon:[[@LINE-22]]:21: note: array bound of -1 is negative [ArrayBoundNegative]
// CHECK:STDERR: fail_monomorphization_during_period_self_substitution.carbon:[[@LINE-17]]:24-47: note: `CanFailToMonomorphize(N)` evaluates to incomplete type `CanFailToMonomorphize(-1)` [IncompleteTypeInMonomorphization]
// CHECK:STDERR: fail_monomorphization_during_period_self_substitution.carbon:[[@LINE-23]]:21: note: array bound of -1 is negative [ArrayBoundNegative]
// CHECK:STDERR: fail_monomorphization_during_period_self_substitution.carbon:[[@LINE-6]]:1-69: note: while deducing parameters of generic declared here [DeductionGenericHere]
// CHECK:STDERR:
F(-1, T);