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

infer: Fix typo in README. 

Was just reading through it and found this, not a big deal but...
This commit is contained in:
Emilio Cobos Álvarez 2017-12-10 17:32:00 +01:00
parent 02b4d3ddfb
commit 6852999188
No known key found for this signature in database
GPG Key ID: 056B727BB9C1027C
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/librustc/infer/README.md
View File

@ -141,7 +141,7 @@ will make the permanent. Snapshots can be nested as long as you follow
a stack-like discipline.
Rather than use snapshots directly, it is often helpful to use the
methods like `commit_if_ok` or `probe` that encapsulte higher-level
methods like `commit_if_ok` or `probe` that encapsulate higher-level
patterns.
## Subtyping obligations