Skip to content

Commit 9df7166

Browse files
committed
Rename from_method to from_assoc_args
1 parent c580c49 commit 9df7166

File tree

6 files changed

+9
-8
lines changed

6 files changed

+9
-8
lines changed

compiler/rustc_const_eval/src/check_consts/ops.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -142,7 +142,7 @@ impl<'tcx> NonConstOp<'tcx> for FnCallNonConst<'tcx> {
142142
|err, self_ty, trait_id| {
143143
// FIXME(const_trait_impl): Do we need any of this on the non-const codepath?
144144

145-
let trait_ref = TraitRef::from_method(tcx, trait_id, self.args);
145+
let trait_ref = TraitRef::from_assoc_args(tcx, trait_id, self.args);
146146

147147
match self_ty.kind() {
148148
Param(param_ty) => {

compiler/rustc_const_eval/src/interpret/call.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -741,7 +741,8 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
741741
let tcx = *self.tcx;
742742

743743
let trait_def_id = tcx.trait_of_item(def_id).unwrap();
744-
let virtual_trait_ref = ty::TraitRef::from_method(tcx, trait_def_id, virtual_instance.args);
744+
let virtual_trait_ref =
745+
ty::TraitRef::from_assoc_args(tcx, trait_def_id, virtual_instance.args);
745746
let existential_trait_ref = ty::ExistentialTraitRef::erase_self_ty(tcx, virtual_trait_ref);
746747
let concrete_trait_ref = existential_trait_ref.with_self_ty(tcx, dyn_ty);
747748

compiler/rustc_sanitizers/src/cfi/typeid/itanium_cxx_abi/transform.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -342,7 +342,7 @@ pub(crate) fn transform_instance<'tcx>(
342342
let upcast_ty = match tcx.trait_of_item(def_id) {
343343
Some(trait_id) => trait_object_ty(
344344
tcx,
345-
ty::Binder::dummy(ty::TraitRef::from_method(tcx, trait_id, instance.args)),
345+
ty::Binder::dummy(ty::TraitRef::from_assoc_args(tcx, trait_id, instance.args)),
346346
),
347347
// drop_in_place won't have a defining trait, skip the upcast
348348
None => instance.args.type_at(0),
@@ -481,7 +481,7 @@ fn implemented_method<'tcx>(
481481
trait_method = trait_method_bound;
482482
method_id = instance.def_id();
483483
trait_id = tcx.trait_of_item(method_id)?;
484-
trait_ref = ty::EarlyBinder::bind(TraitRef::from_method(tcx, trait_id, instance.args));
484+
trait_ref = ty::EarlyBinder::bind(TraitRef::from_assoc_args(tcx, trait_id, instance.args));
485485
trait_id
486486
} else {
487487
return None;

compiler/rustc_trait_selection/src/traits/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -736,7 +736,7 @@ fn instantiate_and_check_impossible_predicates<'tcx>(
736736
// Specifically check trait fulfillment to avoid an error when trying to resolve
737737
// associated items.
738738
if let Some(trait_def_id) = tcx.trait_of_item(key.0) {
739-
let trait_ref = ty::TraitRef::from_method(tcx, trait_def_id, key.1);
739+
let trait_ref = ty::TraitRef::from_assoc_args(tcx, trait_def_id, key.1);
740740
predicates.push(trait_ref.upcast(tcx));
741741
}
742742

compiler/rustc_ty_utils/src/instance.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -101,7 +101,7 @@ fn resolve_associated_item<'tcx>(
101101
) -> Result<Option<Instance<'tcx>>, ErrorGuaranteed> {
102102
debug!(?trait_item_id, ?typing_env, ?trait_id, ?rcvr_args, "resolve_associated_item");
103103

104-
let trait_ref = ty::TraitRef::from_method(tcx, trait_id, rcvr_args);
104+
let trait_ref = ty::TraitRef::from_assoc_args(tcx, trait_id, rcvr_args);
105105

106106
let input = typing_env.as_query_input(trait_ref);
107107
let vtbl = match tcx.codegen_select_candidate(input) {
@@ -230,7 +230,7 @@ fn resolve_associated_item<'tcx>(
230230
Some(ty::Instance::new(leaf_def.item.def_id, args))
231231
}
232232
traits::ImplSource::Builtin(BuiltinImplSource::Object(_), _) => {
233-
let trait_ref = ty::TraitRef::from_method(tcx, trait_id, rcvr_args);
233+
let trait_ref = ty::TraitRef::from_assoc_args(tcx, trait_id, rcvr_args);
234234
if trait_ref.has_non_region_infer() || trait_ref.has_non_region_param() {
235235
// We only resolve totally substituted vtable entries.
236236
None

compiler/rustc_type_ir/src/predicate.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,7 @@ impl<I: Interner> TraitRef<I> {
8282
Self::new_from_args(interner, trait_def_id, args)
8383
}
8484

85-
pub fn from_method(interner: I, trait_id: I::DefId, args: I::GenericArgs) -> TraitRef<I> {
85+
pub fn from_assoc_args(interner: I, trait_id: I::DefId, args: I::GenericArgs) -> TraitRef<I> {
8686
let generics = interner.generics_of(trait_id);
8787
TraitRef::new(interner, trait_id, args.iter().take(generics.count()))
8888
}

0 commit comments

Comments
 (0)