Skip to content

Commit c2414df

Browse files
kylematsudakylematsuda
committed
change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyBinder to fn_sig in metadata
1 parent e982971 commit c2414df

File tree

80 files changed

+142
-152
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

80 files changed

+142
-152
lines changed

‎compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2599,7 +2599,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
25992599
match ty.kind() {
26002600
ty::FnDef(_, _) | ty::FnPtr(_) => self.annotate_fn_sig(
26012601
self.mir_def_id(),
2602-
self.infcx.tcx.bound_fn_sig(self.mir_def_id().into()).subst_identity(),
2602+
self.infcx.tcx.fn_sig(self.mir_def_id()).subst_identity(),
26032603
),
26042604
_ => None,
26052605
}

‎compiler/rustc_borrowck/src/diagnostics/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1136,7 +1136,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
11361136
&& let self_ty = infcx.replace_bound_vars_with_fresh_vars(
11371137
fn_call_span,
11381138
LateBoundRegionConversionTime::FnCall,
1139-
tcx.bound_fn_sig(method_did).subst_identity().input(0),
1139+
tcx.fn_sig(method_did).subst_identity().input(0),
11401140
)
11411141
&& infcx.can_eq(self.param_env, ty, self_ty).is_ok()
11421142
{

‎compiler/rustc_borrowck/src/universal_regions.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -472,7 +472,7 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
472472
// C-variadic fns also have a `VaList` input that's not listed in the signature
473473
// (as it's created inside the body itself, not passed in from outside).
474474
if let DefiningTy::FnDef(def_id, _) = defining_ty {
475-
if self.infcx.tcx.bound_fn_sig(def_id).skip_binder().c_variadic() {
475+
if self.infcx.tcx.fn_sig(def_id).skip_binder().c_variadic() {
476476
let va_list_did = self.infcx.tcx.require_lang_item(
477477
LangItem::VaList,
478478
Some(self.infcx.tcx.def_span(self.mir_def.did)),
@@ -665,7 +665,7 @@ impl<'cx, 'tcx> UniversalRegionsBuilder<'cx, 'tcx> {
665665
}
666666

667667
DefiningTy::FnDef(def_id, _) => {
668-
let sig = tcx.bound_fn_sig(def_id).subst_identity();
668+
let sig = tcx.fn_sig(def_id).subst_identity();
669669
let sig = indices.fold_to_region_vids(tcx, sig);
670670
sig.inputs_and_output()
671671
}

‎compiler/rustc_codegen_cranelift/src/main_shim.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ pub(crate) fn maybe_create_entry_wrapper(
4646
is_main_fn: bool,
4747
sigpipe: u8,
4848
) {
49-
let main_ret_ty = tcx.bound_fn_sig(rust_main_def_id).subst_identity().output();
49+
let main_ret_ty = tcx.fn_sig(rust_main_def_id).subst_identity().output();
5050
// Given that `main()` has no arguments,
5151
// then its return type cannot have
5252
// late-bound regions, since late-bound

‎compiler/rustc_codegen_llvm/src/attributes.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -441,7 +441,7 @@ pub fn from_fn_attrs<'ll, 'tcx>(
441441
// the WebAssembly specification, which has this feature. This won't be
442442
// needed when LLVM enables this `multivalue` feature by default.
443443
if !cx.tcx.is_closure(instance.def_id()) {
444-
let abi = cx.tcx.bound_fn_sig(instance.def_id()).skip_binder().abi();
444+
let abi = cx.tcx.fn_sig(instance.def_id()).skip_binder().abi();
445445
if abi == Abi::Wasm {
446446
function_features.push("+multivalue".to_string());
447447
}

‎compiler/rustc_codegen_ssa/src/base.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -436,7 +436,7 @@ pub fn maybe_create_entry_wrapper<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>>(
436436
cx.type_func(&[], cx.type_int())
437437
};
438438

439-
let main_ret_ty = cx.tcx().fn_sig(rust_main_def_id).output();
439+
let main_ret_ty = cx.tcx().fn_sig(rust_main_def_id).subst_identity().output();
440440
// Given that `main()` has no arguments,
441441
// then its return type cannot have
442442
// late-bound regions, since late-bound

‎compiler/rustc_codegen_ssa/src/codegen_attrs.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: DefId) -> CodegenFnAttrs {
214214
}
215215
} else if attr.has_name(sym::cmse_nonsecure_entry) {
216216
if validate_fn_only_attr(attr.span)
217-
&& !matches!(tcx.bound_fn_sig(did.into()).skip_binder().abi(), abi::Abi::C { .. })
217+
&& !matches!(tcx.fn_sig(did).skip_binder().abi(), abi::Abi::C { .. })
218218
{
219219
struct_span_err!(
220220
tcx.sess,
@@ -234,7 +234,7 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: DefId) -> CodegenFnAttrs {
234234
} else if attr.has_name(sym::track_caller) {
235235
if !tcx.is_closure(did.to_def_id())
236236
&& validate_fn_only_attr(attr.span)
237-
&& tcx.bound_fn_sig(did.into()).skip_binder().abi() != abi::Abi::Rust
237+
&& tcx.fn_sig(did).skip_binder().abi() != abi::Abi::Rust
238238
{
239239
struct_span_err!(tcx.sess, attr.span, E0737, "`#[track_caller]` requires Rust ABI")
240240
.emit();
@@ -266,7 +266,7 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: DefId) -> CodegenFnAttrs {
266266
}
267267
} else if attr.has_name(sym::target_feature) {
268268
if !tcx.is_closure(did.to_def_id())
269-
&& tcx.bound_fn_sig(did.into()).skip_binder().unsafety() == hir::Unsafety::Normal
269+
&& tcx.fn_sig(did).skip_binder().unsafety() == hir::Unsafety::Normal
270270
{
271271
if tcx.sess.target.is_like_wasm || tcx.sess.opts.actually_rustdoc {
272272
// The `#[target_feature]` attribute is allowed on

‎compiler/rustc_const_eval/src/const_eval/fn_queries.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ fn is_promotable_const_fn(tcx: TyCtxt<'_>, def_id: DefId) -> bool {
6464
&& match tcx.lookup_const_stability(def_id) {
6565
Some(stab) => {
6666
if cfg!(debug_assertions) && stab.promotable {
67-
let sig = tcx.bound_fn_sig(def_id);
67+
let sig = tcx.fn_sig(def_id);
6868
assert_eq!(
6969
sig.skip_binder().unsafety(),
7070
hir::Unsafety::Normal,

‎compiler/rustc_const_eval/src/transform/check_consts/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@ impl<'mir, 'tcx> ConstCx<'mir, 'tcx> {
7272
let ty::Closure(_, substs) = ty.kind() else { bug!("type_of closure not ty::Closure") };
7373
substs.as_closure().sig()
7474
} else {
75-
self.tcx.bound_fn_sig(did).subst_identity()
75+
self.tcx.fn_sig(did).subst_identity()
7676
}
7777
}
7878
}

‎compiler/rustc_hir_analysis/src/astconv/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3140,7 +3140,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
31403140
trait_ref.def_id,
31413141
)?;
31423142

3143-
let fn_sig = tcx.bound_fn_sig(assoc.def_id).subst(
3143+
let fn_sig = tcx.fn_sig(assoc.def_id).subst(
31443144
tcx,
31453145
trait_ref.substs.extend_to(tcx, assoc.def_id, |param, _| tcx.mk_param_from_def(param)),
31463146
);

‎compiler/rustc_hir_analysis/src/check/compare_impl_item.rs

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -249,15 +249,15 @@ fn compare_method_predicate_entailment<'tcx>(
249249
let unnormalized_impl_sig = infcx.replace_bound_vars_with_fresh_vars(
250250
impl_m_span,
251251
infer::HigherRankedType,
252-
tcx.bound_fn_sig(impl_m.def_id).subst_identity(),
252+
tcx.fn_sig(impl_m.def_id).subst_identity(),
253253
);
254254
let unnormalized_impl_fty = tcx.mk_fn_ptr(ty::Binder::dummy(unnormalized_impl_sig));
255255

256256
let norm_cause = ObligationCause::misc(impl_m_span, impl_m_def_id);
257257
let impl_sig = ocx.normalize(&norm_cause, param_env, unnormalized_impl_sig);
258258
debug!("compare_impl_method: impl_fty={:?}", impl_sig);
259259

260-
let trait_sig = tcx.bound_fn_sig(trait_m.def_id).subst(tcx, trait_to_placeholder_substs);
260+
let trait_sig = tcx.fn_sig(trait_m.def_id).subst(tcx, trait_to_placeholder_substs);
261261
let trait_sig = tcx.liberate_late_bound_regions(impl_m.def_id, trait_sig);
262262

263263
// Next, add all inputs and output as well-formed tys. Importantly,
@@ -422,8 +422,8 @@ fn extract_bad_args_for_implies_lint<'tcx>(
422422

423423
// Map late-bound regions from trait to impl, so the names are right.
424424
let mapping = std::iter::zip(
425-
tcx.bound_fn_sig(trait_m.def_id).subst_identity().bound_vars(),
426-
tcx.bound_fn_sig(impl_m.def_id).subst_identity().bound_vars(),
425+
tcx.fn_sig(trait_m.def_id).subst_identity().bound_vars(),
426+
tcx.fn_sig(impl_m.def_id).subst_identity().bound_vars(),
427427
)
428428
.filter_map(|(impl_bv, trait_bv)| {
429429
if let ty::BoundVariableKind::Region(impl_bv) = impl_bv
@@ -540,7 +540,7 @@ fn compare_asyncness<'tcx>(
540540
trait_item_span: Option<Span>,
541541
) -> Result<(), ErrorGuaranteed> {
542542
if tcx.asyncness(trait_m.def_id) == hir::IsAsync::Async {
543-
match tcx.bound_fn_sig(impl_m.def_id).subst_identity().skip_binder().output().kind() {
543+
match tcx.fn_sig(impl_m.def_id).subst_identity().skip_binder().output().kind() {
544544
ty::Alias(ty::Opaque, ..) => {
545545
// allow both `async fn foo()` and `fn foo() -> impl Future`
546546
}
@@ -643,7 +643,7 @@ pub(super) fn collect_return_position_impl_trait_in_trait_tys<'tcx>(
643643
infcx.replace_bound_vars_with_fresh_vars(
644644
return_span,
645645
infer::HigherRankedType,
646-
tcx.bound_fn_sig(impl_m.def_id).subst_identity(),
646+
tcx.fn_sig(impl_m.def_id).subst_identity(),
647647
),
648648
);
649649
impl_sig.error_reported()?;
@@ -657,7 +657,7 @@ pub(super) fn collect_return_position_impl_trait_in_trait_tys<'tcx>(
657657
let unnormalized_trait_sig = tcx
658658
.liberate_late_bound_regions(
659659
impl_m.def_id,
660-
tcx.bound_fn_sig(trait_m.def_id).subst(tcx, trait_to_placeholder_substs),
660+
tcx.fn_sig(trait_m.def_id).subst(tcx, trait_to_placeholder_substs),
661661
)
662662
.fold_with(&mut collector);
663663
let trait_sig = ocx.normalize(&norm_cause, param_env, unnormalized_trait_sig);
@@ -1117,7 +1117,7 @@ fn compare_self_type<'tcx>(
11171117
ty::ImplContainer => impl_trait_ref.self_ty(),
11181118
ty::TraitContainer => tcx.types.self_param,
11191119
};
1120-
let self_arg_ty = tcx.bound_fn_sig(method.def_id).subst_identity().input(0);
1120+
let self_arg_ty = tcx.fn_sig(method.def_id).subst_identity().input(0);
11211121
let param_env = ty::ParamEnv::reveal_all();
11221122

11231123
let infcx = tcx.infer_ctxt().build();
@@ -1348,8 +1348,8 @@ fn compare_number_of_method_arguments<'tcx>(
13481348
trait_m: &ty::AssocItem,
13491349
trait_item_span: Option<Span>,
13501350
) -> Result<(), ErrorGuaranteed> {
1351-
let impl_m_fty = tcx.bound_fn_sig(impl_m.def_id);
1352-
let trait_m_fty = tcx.bound_fn_sig(trait_m.def_id);
1351+
let impl_m_fty = tcx.fn_sig(impl_m.def_id);
1352+
let trait_m_fty = tcx.fn_sig(trait_m.def_id);
13531353
let trait_number_args = trait_m_fty.skip_binder().inputs().skip_binder().len();
13541354
let impl_number_args = impl_m_fty.skip_binder().inputs().skip_binder().len();
13551355

‎compiler/rustc_hir_analysis/src/check/intrinsic.rs

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,12 @@ fn equate_intrinsic_type<'tcx>(
5858
let fty = tcx.mk_fn_ptr(sig);
5959
let it_def_id = it.owner_id.def_id;
6060
let cause = ObligationCause::new(it.span, it_def_id, ObligationCauseCode::IntrinsicType);
61-
require_same_types(tcx, &cause, tcx.mk_fn_ptr(tcx.bound_fn_sig(it.owner_id.to_def_id()).subst_identity()), fty);
61+
require_same_types(
62+
tcx,
63+
&cause,
64+
tcx.mk_fn_ptr(tcx.fn_sig(it.owner_id).subst_identity()),
65+
fty,
66+
);
6267
}
6368
}
6469

‎compiler/rustc_hir_analysis/src/check/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -445,7 +445,7 @@ fn suggestion_signature(assoc: &ty::AssocItem, tcx: TyCtxt<'_>) -> String {
445445
// regions just fine, showing `fn(&MyType)`.
446446
fn_sig_suggestion(
447447
tcx,
448-
tcx.bound_fn_sig(assoc.def_id).subst_identity().skip_binder(),
448+
tcx.fn_sig(assoc.def_id).subst_identity().skip_binder(),
449449
assoc.ident(tcx),
450450
tcx.predicates_of(assoc.def_id),
451451
assoc,

‎compiler/rustc_hir_analysis/src/check/wfcheck.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -386,7 +386,7 @@ fn check_gat_where_clauses(tcx: TyCtxt<'_>, associated_items: &[hir::TraitItemRe
386386
// `Self::Iter<'a>` is a GAT we want to gather any potential missing bounds from.
387387
let sig: ty::FnSig<'_> = tcx.liberate_late_bound_regions(
388388
item_def_id.to_def_id(),
389-
tcx.bound_fn_sig(item_def_id.to_def_id()).subst_identity(),
389+
tcx.fn_sig(item_def_id).subst_identity(),
390390
);
391391
gather_gat_bounds(
392392
tcx,
@@ -1018,7 +1018,7 @@ fn check_associated_item(
10181018
wfcx.register_wf_obligation(span, loc, ty.into());
10191019
}
10201020
ty::AssocKind::Fn => {
1021-
let sig = tcx.bound_fn_sig(item.def_id).subst_identity();
1021+
let sig = tcx.fn_sig(item.def_id).subst_identity();
10221022
let hir_sig = sig_if_method.expect("bad signature for method");
10231023
check_fn_or_method(
10241024
wfcx,
@@ -1203,7 +1203,7 @@ fn check_item_fn(
12031203
decl: &hir::FnDecl<'_>,
12041204
) {
12051205
enter_wf_checking_ctxt(tcx, span, def_id, |wfcx| {
1206-
let sig = tcx.bound_fn_sig(def_id.into()).subst_identity();
1206+
let sig = tcx.fn_sig(def_id).subst_identity();
12071207
check_fn_or_method(wfcx, ident.span, sig, decl, def_id);
12081208
})
12091209
}
@@ -1638,7 +1638,7 @@ fn check_method_receiver<'tcx>(
16381638

16391639
let span = fn_sig.decl.inputs[0].span;
16401640

1641-
let sig = tcx.bound_fn_sig(method.def_id).subst_identity();
1641+
let sig = tcx.fn_sig(method.def_id).subst_identity();
16421642
let sig = tcx.liberate_late_bound_regions(method.def_id, sig);
16431643
let sig = wfcx.normalize(span, None, sig);
16441644

‎compiler/rustc_hir_analysis/src/collect.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1087,7 +1087,7 @@ pub fn get_infer_ret_ty<'hir>(output: &'hir hir::FnRetTy<'hir>) -> Option<&'hir
10871087
}
10881088

10891089
#[instrument(level = "debug", skip(tcx))]
1090-
fn fn_sig(tcx: TyCtxt<'_>, def_id: DefId) -> ty::PolyFnSig<'_> {
1090+
fn fn_sig(tcx: TyCtxt<'_>, def_id: DefId) -> ty::EarlyBinder<ty::PolyFnSig<'_>> {
10911091
use rustc_hir::Node::*;
10921092
use rustc_hir::*;
10931093

@@ -1096,7 +1096,7 @@ fn fn_sig(tcx: TyCtxt<'_>, def_id: DefId) -> ty::PolyFnSig<'_> {
10961096

10971097
let icx = ItemCtxt::new(tcx, def_id.to_def_id());
10981098

1099-
match tcx.hir().get(hir_id) {
1099+
let output = match tcx.hir().get(hir_id) {
11001100
TraitItem(hir::TraitItem {
11011101
kind: TraitItemKind::Fn(sig, TraitFn::Provided(_)),
11021102
generics,
@@ -1169,7 +1169,8 @@ fn fn_sig(tcx: TyCtxt<'_>, def_id: DefId) -> ty::PolyFnSig<'_> {
11691169
x => {
11701170
bug!("unexpected sort of node in fn_sig(): {:?}", x);
11711171
}
1172-
}
1172+
};
1173+
ty::EarlyBinder(output)
11731174
}
11741175

11751176
fn infer_return_ty_for_fn_sig<'tcx>(

‎compiler/rustc_hir_analysis/src/collect/type_of.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -868,7 +868,7 @@ fn infer_placeholder_type<'a>(
868868

869869
match ty.kind() {
870870
ty::FnDef(def_id, _) => {
871-
self.tcx.mk_fn_ptr(self.tcx.bound_fn_sig(*def_id).subst_identity())
871+
self.tcx.mk_fn_ptr(self.tcx.fn_sig(*def_id).subst_identity())
872872
}
873873
// FIXME: non-capturing closures should also suggest a function pointer
874874
ty::Closure(..) | ty::Generator(..) => {

‎compiler/rustc_hir_analysis/src/lib.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -182,7 +182,7 @@ fn require_same_types<'tcx>(
182182
}
183183

184184
fn check_main_fn_ty(tcx: TyCtxt<'_>, main_def_id: DefId) {
185-
let main_fnsig = tcx.bound_fn_sig(main_def_id).subst_identity();
185+
let main_fnsig = tcx.fn_sig(main_def_id).subst_identity();
186186
let main_span = tcx.def_span(main_def_id);
187187

188188
fn main_fn_diagnostics_def_id(tcx: TyCtxt<'_>, def_id: DefId, sp: Span) -> LocalDefId {
@@ -449,7 +449,7 @@ fn check_start_fn_ty(tcx: TyCtxt<'_>, start_def_id: DefId) {
449449
ObligationCauseCode::StartFunctionType,
450450
),
451451
se_ty,
452-
tcx.mk_fn_ptr(tcx.bound_fn_sig(start_def_id.into()).subst_identity()),
452+
tcx.mk_fn_ptr(tcx.fn_sig(start_def_id).subst_identity()),
453453
);
454454
}
455455
_ => {

‎compiler/rustc_hir_analysis/src/variance/constraints.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,7 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {
121121
ty::FnDef(..) => {
122122
self.add_constraints_from_sig(
123123
current_item,
124-
tcx.bound_fn_sig(def_id.into()).subst_identity(),
124+
tcx.fn_sig(def_id).subst_identity(),
125125
self.covariant,
126126
);
127127
}

‎compiler/rustc_hir_typeck/src/callee.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -367,7 +367,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
367367
) -> Ty<'tcx> {
368368
let (fn_sig, def_id) = match *callee_ty.kind() {
369369
ty::FnDef(def_id, subst) => {
370-
let fn_sig = self.tcx.bound_fn_sig(def_id).subst(self.tcx, subst);
370+
let fn_sig = self.tcx.fn_sig(def_id).subst(self.tcx, subst);
371371

372372
// Unit testing: function items annotated with
373373
// `#[rustc_evaluate_where_clauses]` trigger special output

‎compiler/rustc_hir_typeck/src/demand.rs

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -299,7 +299,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
299299
{
300300
// We special case methods, because they can influence inference through the
301301
// call's arguments and we can provide a more explicit span.
302-
let sig = self.tcx.bound_fn_sig(def_id).subst_identity();
302+
let sig = self.tcx.fn_sig(def_id).subst_identity();
303303
let def_self_ty = sig.input(0).skip_binder();
304304
let rcvr_ty = self.node_ty(rcvr.hir_id);
305305
// Get the evaluated type *after* calling the method call, so that the influence
@@ -613,7 +613,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
613613
),
614614
match self
615615
.tcx
616-
.bound_fn_sig(m.def_id)
616+
.fn_sig(m.def_id)
617617
.subst_identity()
618618
.input(0)
619619
.skip_binder()
@@ -1043,13 +1043,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
10431043
match method.kind {
10441044
ty::AssocKind::Fn => {
10451045
method.fn_has_self_parameter
1046-
&& self
1047-
.tcx
1048-
.bound_fn_sig(method.def_id)
1049-
.skip_binder()
1050-
.inputs()
1051-
.skip_binder()
1052-
.len()
1046+
&& self.tcx.fn_sig(method.def_id).skip_binder().inputs().skip_binder().len()
10531047
== 1
10541048
}
10551049
_ => false,

‎compiler/rustc_hir_typeck/src/expr.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -542,7 +542,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
542542

543543
if let ty::FnDef(did, ..) = *ty.kind() {
544544
let fn_sig = ty.fn_sig(tcx);
545-
if tcx.bound_fn_sig(did).skip_binder().abi() == RustIntrinsic
545+
if tcx.fn_sig(did).skip_binder().abi() == RustIntrinsic
546546
&& tcx.item_name(did) == sym::transmute
547547
{
548548
let from = fn_sig.inputs().skip_binder()[0];

‎compiler/rustc_hir_typeck/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,7 @@ fn typeck_with_fallback<'tcx>(
207207
let fn_sig = if rustc_hir_analysis::collect::get_infer_ret_ty(&decl.output).is_some() {
208208
fcx.astconv().ty_of_fn(id, header.unsafety, header.abi, decl, None, None)
209209
} else {
210-
tcx.bound_fn_sig(def_id.into()).subst_identity()
210+
tcx.fn_sig(def_id).subst_identity()
211211
};
212212

213213
check_abi(tcx, id, span, fn_sig.abi());

‎compiler/rustc_hir_typeck/src/method/confirm.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -503,7 +503,7 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
503503

504504
debug!("method_predicates after subst = {:?}", method_predicates);
505505

506-
let sig = self.tcx.bound_fn_sig(def_id);
506+
let sig = self.tcx.fn_sig(def_id);
507507

508508
let sig = sig.subst(self.tcx, all_substs);
509509
debug!("type scheme substituted, sig={:?}", sig);

0 commit comments

Comments
 (0)