inferkind docs

rust-lang · Jan 23, 2025 · 3b5ea05 · 3b5ea05
1 parent 744368d
commit 3b5ea05
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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>),