Fix a typo in the implied bounds section of traits/lowering-rules
This commit is contained in:
parent
2c03515c2b
commit
f6b723704d
1 changed files with 1 additions and 1 deletions
|
|
@ -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>)
|
||||
}
|
||||
```
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue