Skip to content
Snippets Groups Projects
Commit 955520c6 authored by Ben Gamari's avatar Ben Gamari Committed by Marge Bot
Browse files

users guide: Note that QuantifiedConstraints implies ExplicitForAll 

Fixes #24025.
parent f158a8d0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docs/users_guide/exts/quantified_constraints.rst
+ 1
− 0
View file @ 955520c6
......@@ -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.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment