From 955520c6c4f07187b6d5e4770ecf681cc78374f2 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Tue, 21 Nov 2023 10:46:07 -0500
Subject: [PATCH] users guide: Note that QuantifiedConstraints implies
ExplicitForAll
Fixes #24025.
---
docs/users_guide/exts/quantified_constraints.rst | 1 +
1 file changed, 1 insertion(+)
diff --git a/docs/users_guide/exts/quantified_constraints.rst b/docs/users_guide/exts/quantified_constraints.rst
index 3b5b92a7b645..b1e6bd47e539 100644
--- a/docs/users_guide/exts/quantified_constraints.rst
+++ b/docs/users_guide/exts/quantified_constraints.rst
@@ -6,6 +6,7 @@ Quantified constraints
.. extension:: QuantifiedConstraints
:shortdesc: Allow ``forall`` quantifiers in constraints.
+ :implies: :extension:`ExplicitForAll`
:since: 8.6.1
Allow constraints to quantify over types.
--
GitLab