mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add an apostrophe 

Co-Authored-By: scalexm <alexandre@scalexm.fr>
This commit is contained in:
Who? Me?! 2018-10-21 18:05:32 +02:00
parent 3db38fe7f3
commit 07bf5e332b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/traits/goals-and-clauses.md
View File

@ -58,7 +58,7 @@ see that clauses are always of the form:
```text ```text
forall<K1, ..., Kn> { DomainGoal :- Goal } forall<K1, ..., Kn> { DomainGoal :- Goal }
``` ```
hence domain goals are in fact clauses LHS. That is, at the most granular level, hence domain goals are in fact clauses' LHS. That is, at the most granular level,
domain goals are what the trait solver will end up trying to prove. domain goals are what the trait solver will end up trying to prove.
<a name="trait-ref"></a> <a name="trait-ref"></a>