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

Nashenas88 · mark-i-m · commit 5919642a096a · 2019-08-17T21:08:10.000-05:00
diff --git 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>)
 }
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -114,7 +114,7 @@ cover). For each trait, we produce two clauses:`
`114`	`114`	`//`
`115`	`115`	`// For each where clause WC:`
`116`	`116`	`forall<Self, P1..Pn> {`
`117`		`- FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn)`
	`117`	`+ FromEnv(WC) :- FromEnv(Self: Trait<P1..Pn>)`
`118`	`118`	`}`
`119`	`119`	```
`120`	`120`