Fix a typo in the implied bounds section of traits/lowering-rules

2019-08-17 13:19:10 -04:00 · 2019-08-17 13:19:10 -04:00 · 1c3b7eb615
parent c02d694b17
commit 1c3b7eb615
1 changed files with 1 additions and 1 deletions
--- a/src/traits/lowering-rules.md
+++ b/src/traits/lowering-rules.md
@ -114,7 +114,7 @@ cover). For each trait, we produce two clauses:
 //
 // For each where clause WC:
 forall<Self, P1..Pn> {
-  FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn)
+  FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn>)
 }
 ```