From c611d64e99139c08ce7ba5d8cab0b4bf0e52932d Mon Sep 17 00:00:00 2001 From: Fallible <118682743+fallible-algebra@users.noreply.github.com> Date: Wed, 3 Jun 2026 07:51:09 +0100 Subject: [PATCH] Fix some wf module argument/doc comment name mismatches --- compiler/rustc_trait_selection/src/traits/wf.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/rustc_trait_selection/src/traits/wf.rs b/compiler/rustc_trait_selection/src/traits/wf.rs index fdf32d32e9058..49b6066c71ee0 100644 --- a/compiler/rustc_trait_selection/src/traits/wf.rs +++ b/compiler/rustc_trait_selection/src/traits/wf.rs @@ -22,9 +22,9 @@ use tracing::{debug, instrument, trace}; use crate::infer::InferCtxt; use crate::traits; -/// Returns the set of obligations needed to make `arg` well-formed. -/// If `arg` contains unresolved inference variables, this may include -/// further WF obligations. However, if `arg` IS an unresolved +/// Returns the set of obligations needed to make `term` well-formed. +/// If `term` contains unresolved inference variables, this may include +/// further WF obligations. However, if `term` IS an unresolved /// inference variable, returns `None`, because we are not able to /// make any progress at all. This is to prevent cycles where we /// say "?0 is WF if ?0 is WF". @@ -100,7 +100,7 @@ pub fn unnormalized_obligations<'tcx>( ) -> Option> { debug_assert_eq!(term, infcx.resolve_vars_if_possible(term)); - // However, if `arg` IS an unresolved inference variable, returns `None`, + // However, if `term` IS an unresolved inference variable, returns `None`, // because we are not able to make any progress at all. This is to prevent // cycles where we say "?0 is WF if ?0 is WF". if term.is_infer() {