From 3b5ea05142dbfb77586e6dbb0ff0a51925c6f64b Mon Sep 17 00:00:00 2001 From: Boxy Date: Sat, 18 Jan 2025 23:01:47 +0000 Subject: [PATCH] inferkind docs --- compiler/rustc_hir/src/intravisit.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/rustc_hir/src/intravisit.rs b/compiler/rustc_hir/src/intravisit.rs index 5901738a7aab..24cb06a9b2c8 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>),