user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

The type is inferenced, not things itself.

Browse source
This commit is contained in:
Philipp Hansch 2018-05-21 19:44:07 +02:00 • committed by Who? Me?!
parent 6c6630d79e
commit 577f8ddba6
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/doc/rustc-dev-guide/src/type-inference.md
View file

@ -13,8 +13,8 @@ fn main() {
}
```
Here, `things` is *inferenced* to be `&str` because that's the value we push
into `things`.
Here, the type of `things` is *inferenced* to be `&str` because that's the value
we push into `things`.
The type inference is based on the standard Hindley-Milner (HM) type inference
algorithm, but extended in various way to accommodate subtyping, region