From eed666f0d4dbcb67b797a4bfda283e60f19ea1be Mon Sep 17 00:00:00 2001
From: josh11b <josh11b@users.noreply.github.com>
Date: Tue, 12 Jul 2022 10:14:32 -0700
Subject: [PATCH] Fix `interface` `extends` syntax (#1383)

---
 docs/design/expressions/implicit_conversions.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/design/expressions/implicit_conversions.md b/docs/design/expressions/implicit_conversions.md
index dc72cff454d3..f96af917399b 100644
--- a/docs/design/expressions/implicit_conversions.md
+++ b/docs/design/expressions/implicit_conversions.md
@@ -207,7 +207,8 @@ extends
 [the `As` interface used to implement `as` expressions](as_expressions.md#extensibility):
 
 ```
-interface ImplicitAs(Dest:! Type) extends As(Dest) {
+interface ImplicitAs(Dest:! Type) {
+  extends As(Dest);
   // Inherited from As(Dest):
   // fn Convert[me: Self]() -> Dest;
 }