carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 21:40:12 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Fix syntax errors in docs observe examples (#6813)

Browse Source
This commit is contained in:
Özgür
2026-02-27 23:07:24 +00:00
committed by GitHub
parent 34764d0d0e
commit 067378ba37
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/design/generics/details.md
+5 -5
View File
@@ -3189,7 +3189,7 @@ fn G[T:! Transitive](t: T) {
// ❌ Illegal: only the current type is
// searched for interface implementations.
a.(Q.InQ());
a.(Q.InQ)();
// ✅ Allowed: values of type `T.A` may be cast
// to `T.B`, which extends and implements `Q`.
@@ -3197,7 +3197,7 @@ fn G[T:! Transitive](t: T) {
// ✅ Allowed: `T.A` == `T.B` that implements `Q`.
observe T.A == T.B impls Q;
a.(Q.InQ());
a.(Q.InQ)();
// ❌ Illegal: `T.A` still does not extend `Q`.
a.InQ();
@@ -5913,10 +5913,10 @@ impl forall [T:! A] T as B { }
impl forall [T:! B] T as C { }
impl forall [T:! C] T as D { }
fn RequiresD(T:! D)(x: T);
fn RequiresB(T:! B)(x: T);
fn RequiresD[T:! D](x: T);
fn RequiresB[T:! B](x: T);
fn RequiresA(T:! A)(x: T) {
fn RequiresA[T:! A](x: T) {
// ✅ Allowed: There is a blanket implementation
// of `B` for types implementing `A`.
RequiresB(x);