From 88c8877ff9c2de2c81508d4ae69645c0845e16a0 Mon Sep 17 00:00:00 2001
From: josh11b <josh11b@users.noreply.github.com>
Date: Fri, 9 Jul 2021 13:00:47 -0700
Subject: [PATCH] Update code syntax in generics goals (#632)

---
 docs/design/generics/goals.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/design/generics/goals.md b/docs/design/generics/goals.md
index e993f37d70ed..fc5f3c3c3f21 100644
--- a/docs/design/generics/goals.md
+++ b/docs/design/generics/goals.md
@@ -645,9 +645,9 @@ when recursion creates an infinite collection of types, such as in
 or:
 
 ```carbon
-fn Sort[Comparable T](List(T) list) -> List(T) {
+fn Sort[T:! Comparable](list: List(T)) -> List(T) {
   if (list.size() == 1) return list;
-  var List(List(T)) chunks = FormChunks(list, sqrt(list.size()));
+  var chunks: List(List(T)) = FormChunks(list, sqrt(list.size()));
   chunks = chunks.ApplyToEach(Sort);
   chunks = Sort(chunks);
   return MergeSortedListOfSortedLists(chunks);