extends

danakj · danakj · commit d60f1f974a0d · 2025-11-19T16:18:05.000-05:00
diff --git a/toolchain/check/testdata/generic/extend_type_completion.carbon b/toolchain/check/testdata/generic/extend_type_completion.carbon
@@ -69,7 +69,7 @@ interface I(N:! i32) {
   extend require impls J(N);
 }
 
-// I extend J extends K so the type of K is completed, but is invalid.
+// I extends J extends K so the type of K is completed, but is invalid.
 //
 // TODO: The error location should be the type, like in the class case above. We
 // need a location for the type in context.bind_name_map() to use as the

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,7 @@ interface I(N:! i32) {`
`69`	`69`	`extend require impls J(N);`
`70`	`70`	`}`
`71`	`71`
`72`		`-// I extend J extends K so the type of K is completed, but is invalid.`
	`72`	`+// I extends J extends K so the type of K is completed, but is invalid.`
`73`	`73`	`//`
`74`	`74`	`// TODO: The error location should be the type, like in the class case above. We`
`75`	`75`	`// need a location for the type in context.bind_name_map() to use as the`