From 56332fcfacc6031fc1ddf6c1bb8abf4426d5e55f Mon Sep 17 00:00:00 2001
From: Jon Ross-Perkins <jperkins@google.com>
Date: Tue, 13 Aug 2024 11:09:59 -0700
Subject: [PATCH] Fix a couple fn declarations in generics details (#4214)

I think this is just a typo.
---
 docs/design/generics/details.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/design/generics/details.md b/docs/design/generics/details.md
index 495ce3fa42811..19c014fd2fadb 100644
--- a/docs/design/generics/details.md
+++ b/docs/design/generics/details.md
@@ -1207,7 +1207,7 @@ interface Iterable {
   require Self impls Equatable;
 }
 
-def DoAdvanceAndEquals[T:! Iterable](x: T) {
+fn DoAdvanceAndEquals[T:! Iterable](x: T) {
   // `x` has type `T` that implements `Iterable`, and so has `Advance`.
   x.Advance();
   // `Iterable` requires an implementation of `Equatable`,
@@ -1234,7 +1234,7 @@ interface Hashable {
   alias Equals = Equatable.Equals;
 }
 
-def DoHashAndEquals[T:! Hashable](x: T) {
+fn DoHashAndEquals[T:! Hashable](x: T) {
   // Now both `Hash` and `Equals` are available directly:
   x.Hash();
   x.Equals(x);