about summary refs log tree commit diff
diff options
context:
space:
mode:
authorBoxy <rust@boxyuwu.dev>2025-01-18 23:01:47 +0000
committerBoxy <rust@boxyuwu.dev>2025-01-23 06:01:36 +0000
commit3b5ea05142dbfb77586e6dbb0ff0a51925c6f64b (patch)
tree9b1b71623fee8c04582306116a6f7d4291296e22
parent744368d83d6fbbe6eefe9bba5283f3ce962391b4 (diff)
downloadrust-3b5ea05142dbfb77586e6dbb0ff0a51925c6f64b.tar.gz
rust-3b5ea05142dbfb77586e6dbb0ff0a51925c6f64b.zip
inferkind docs
-rw-r--r--compiler/rustc_hir/src/intravisit.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_hir/src/intravisit.rs b/compiler/rustc_hir/src/intravisit.rs
index 5901738a7aa..24cb06a9b2c 100644
--- a/compiler/rustc_hir/src/intravisit.rs
+++ b/compiler/rustc_hir/src/intravisit.rs
@@ -909,7 +909,8 @@ pub fn walk_expr_field<'v, V: Visitor<'v>>(visitor: &mut V, field: &'v ExprField
     try_visit!(visitor.visit_ident(field.ident));
     visitor.visit_expr(field.expr)
 }
-
+/// We track whether an infer var is from a [`Ty`], [`ConstArg`], or [`GenericArg`] so that
+/// HIR visitors overriding [`Visitor::visit_infer`] can determine what kind of infer is being visited
 pub enum InferKind<'hir> {
     Ty(&'hir Ty<'hir>),
     Const(&'hir ConstArg<'hir>),