Update WellFormed-AssocTy rule in book

firefighterduck · web-flow · commit 8144369b4d95 · 2021-01-12T18:06:10.000+01:00
Update the description of the WellFormed-AssocTy rule in the Chalk book to match the corresponding implementation [here](https://github.com/rust-lang/chalk/blob/23887fda56ff2f471d521bdef666aac8475781eb/chalk-solve/src/clauses/program_clauses.rs#L826) (it also defined with the same name [here](https://github.com/rust-lang/chalk/blob/23887fda56ff2f471d521bdef666aac8475781eb/chalk-solve/src/clauses/program_clauses.rs#L764)).
diff --git a/book/src/clauses/lowering_rules.md b/book/src/clauses/lowering_rules.md
@@ -320,7 +320,7 @@ type to be well-formed...
 // Rule WellFormed-AssocTy
 forall<Self, P1..Pn, Pn+1..Pm> {
     WellFormed((Trait::AssocType)<Self, P1..Pn, Pn+1..Pm>) :-
-      Implemented(Self: Trait<P1..Pn>) && WC1
+      WellFormed(Self: Trait<P1..Pn>) && WellFormed(WC1)
 }
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -320,7 +320,7 @@ type to be well-formed...`
`320`	`320`	`// Rule WellFormed-AssocTy`
`321`	`321`	`forall<Self, P1..Pn, Pn+1..Pm> {`
`322`	`322`	`WellFormed((Trait::AssocType)<Self, P1..Pn, Pn+1..Pm>) :-`
`323`		`- Implemented(Self: Trait<P1..Pn>) && WC1`
	`323`	`+ WellFormed(Self: Trait<P1..Pn>) && WellFormed(WC1)`
`324`	`324`	`}`
`325`	`325`	```
`326`	`326`