diff options
| author | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-10-21 18:05:32 +0200 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-10-22 12:14:46 -0500 |
| commit | a041e9d1eebc62581d26fe067d464bbcebd1b0b6 (patch) | |
| tree | cdc789d69456499a8cebeac3059ffd69bf34d53f /src/doc | |
| parent | 7b81c746702e958d647f12644f509634e1039f51 (diff) | |
| download | rust-a041e9d1eebc62581d26fe067d464bbcebd1b0b6.tar.gz rust-a041e9d1eebc62581d26fe067d464bbcebd1b0b6.zip | |
Add an apostrophe
Co-Authored-By: scalexm <alexandre@scalexm.fr>
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/traits/goals-and-clauses.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/traits/goals-and-clauses.md b/src/doc/rustc-dev-guide/src/traits/goals-and-clauses.md index 8cc1bc7fd82..494ec5b8591 100644 --- a/src/doc/rustc-dev-guide/src/traits/goals-and-clauses.md +++ b/src/doc/rustc-dev-guide/src/traits/goals-and-clauses.md @@ -58,7 +58,7 @@ see that clauses are always of the form: ```text 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. <a name="trait-ref"></a> |