diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2023-03-04 00:00:28 +0900 |
|---|---|---|
| committer | Tshepang Mbambo <tshepang@gmail.com> | 2023-03-03 17:39:11 +0200 |
| commit | 9a058edb057114789cd024fa2bb72ae7c4786eea (patch) | |
| tree | 5726b6c8ae925940e7ea19704baf9150c131d5f3 /src/doc/rustc-dev-guide | |
| parent | b3488e05f134b4fe744dca2be0361960b9bf1368 (diff) | |
| download | rust-9a058edb057114789cd024fa2bb72ae7c4786eea.tar.gz rust-9a058edb057114789cd024fa2bb72ae7c4786eea.zip | |
Update date reference about infer context variables
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/type-inference.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md index 2bafeb24792..4043789d0e7 100644 --- a/src/doc/rustc-dev-guide/src/type-inference.md +++ b/src/doc/rustc-dev-guide/src/type-inference.md @@ -68,7 +68,7 @@ inference works, or perhaps this blog post on [Unification in the Chalk project]: http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/ All told, the inference context stores five kinds of inference variables -(as of <!-- date-check --> June 2021): +(as of <!-- date-check --> March 2023): - Type variables, which come in three varieties: - General type variables (the most common). These can be unified with any |