From 9a058edb057114789cd024fa2bb72ae7c4786eea Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Sat, 4 Mar 2023 00:00:28 +0900 Subject: [PATCH] Update date reference about infer context variables Signed-off-by: Yuki Okushi --- src/doc/rustc-dev-guide/src/type-inference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md index 2bafeb247928..4043789d0e79 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 June 2021): +(as of March 2023): - Type variables, which come in three varieties: - General type variables (the most common). These can be unified with any