Skip to content

Commit aeee65a

Browse files
committed
Rename from_method to from_assoc_args
1 parent 30f168e commit aeee65a

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
@@ -343,7 +343,7 @@ pub(crate) fn transform_instance<'tcx>(
343343
let upcast_ty = match tcx.trait_of_item(def_id) {
344344
Some(trait_id) => trait_object_ty(
345345
tcx,
346-
ty::Binder::dummy(ty::TraitRef::from_method(tcx, trait_id, instance.args)),
346+
ty::Binder::dummy(ty::TraitRef::from_assoc_args(tcx, trait_id, instance.args)),
347347
),
348348
// drop_in_place won't have a defining trait, skip the upcast
349349
None => instance.args.type_at(0),
@@ -482,7 +482,7 @@ fn implemented_method<'tcx>(
482482
trait_method = trait_method_bound;
483483
method_id = instance.def_id();
484484
trait_id = tcx.trait_of_item(method_id)?;
485-
trait_ref = ty::EarlyBinder::bind(TraitRef::from_method(tcx, trait_id, instance.args));
485+
trait_ref = ty::EarlyBinder::bind(TraitRef::from_assoc_args(tcx, trait_id, instance.args));
486486
trait_id
487487
} else {
488488
return None;

compiler/rustc_trait_selection/src/traits/mod.rs

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

compiler/rustc_ty_utils/src/instance.rs

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

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

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

compiler/rustc_type_ir/src/predicate.rs

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

77-
pub fn from_method(interner: I, trait_id: I::DefId, args: I::GenericArgs) -> TraitRef<I> {
77+
pub fn from_assoc_args(interner: I, trait_id: I::DefId, args: I::GenericArgs) -> TraitRef<I> {
7878
let generics = interner.generics_of(trait_id);
7979
TraitRef::new(interner, trait_id, args.iter().take(generics.count()))
8080
}

0 commit comments

Comments
 (0)