fn infer_var_ty( gcx: Gcx<'_>, ty: &Type<'_>, custom_type: &mut Vec<Symbol>, ) -> Result<Option<DynSolType>>
Infers the type from a variable’s HIR type, optionally accessing a named member.