From e33f255728a1b53bfe486f6d8e4a4752ec229c11 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Mon, 10 Oct 2022 14:30:14 -0700
Subject: [PATCH] Fix grammar for TypePathFn

---
 src/paths.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/paths.md b/src/paths.md
index 30c0761..828758c 100644
--- a/src/paths.md
+++ b/src/paths.md
@@ -128,7 +128,7 @@ S::f();  // Calls the inherent impl.
 > &nbsp;&nbsp; _PathIdentSegment_ (`::`<sup>?</sup> ([_GenericArgs_] | _TypePathFn_))<sup>?</sup>
 >
 > _TypePathFn_ :\
-> `(` _TypePathFnInputs_<sup>?</sup> `)` (`->` [_Type_])<sup>?</sup>
+> `(` _TypePathFnInputs_<sup>?</sup> `)` (`->` [_TypeNoBounds_])<sup>?</sup>
 >
 > _TypePathFnInputs_ :\
 > [_Type_] (`,` [_Type_])<sup>\*</sup> `,`<sup>?</sup>
@@ -395,6 +395,7 @@ mod without { // crate::without
 [_LiteralExpression_]: expressions/literal-expr.md
 [_SimplePathSegment_]: #simple-paths
 [_Type_]: types.md#type-expressions
+[_TypeNoBounds_]: types.md#type-expressions
 [literal]: expressions/literal-expr.md
 [item]: items.md
 [variable]: variables.md