From d655302465457c5d3285ae5339201a0769cc38dc Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 5 Sep 2024 11:24:19 -0700 Subject: Support `where` clause and type equality constraint. (#4986) * Support `where` clause. * Fix. * Fix parser. * Enhance test to cover traditional __generic syntax. * Update user-guide. * Support `where` clause on associatedtype. * Fix. * Put in more comments. --- docs/user-guide/toc.html | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs/user-guide/toc.html') diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html index e6c75b1f1..df1b4ba9d 100644 --- a/docs/user-guide/toc.html +++ b/docs/user-guide/toc.html @@ -79,10 +79,12 @@
  • Supported Constructs in Interface Definitions
  • Associated Types
  • Generic Value Parameters
  • +
  • Type Equality Constraints
  • Interface-typed Values
  • Extending a Type with Additional Interface Conformances
  • `is` and `as` Operator
  • Extensions to Interfaces
  • +
  • Variadic Generics
  • Builtin Interfaces
  • -- cgit v1.2.3