1use std::assert_matches::assert_matches;
2use std::fmt;
3
4use rustc_data_structures::fx::FxHashMap;
5use rustc_errors::ErrorGuaranteed;
6use rustc_hir as hir;
7use rustc_hir::def::{CtorKind, DefKind, Namespace};
8use rustc_hir::def_id::{CrateNum, DefId};
9use rustc_hir::lang_items::LangItem;
10use rustc_index::bit_set::FiniteBitSet;
11use rustc_macros::{Decodable, Encodable, HashStable, Lift, TyDecodable, TyEncodable};
12use rustc_span::def_id::LOCAL_CRATE;
13use rustc_span::{DUMMY_SP, Span, Symbol};
14use tracing::{debug, instrument};
15
16use crate::error;
17use crate::middle::codegen_fn_attrs::CodegenFnAttrFlags;
18use crate::ty::normalize_erasing_regions::NormalizationError;
19use crate::ty::print::{FmtPrinter, Print};
20use crate::ty::{
21 self, AssocContainer, EarlyBinder, GenericArgs, GenericArgsRef, Ty, TyCtxt, TypeFoldable,
22 TypeSuperVisitable, TypeVisitable, TypeVisitableExt, TypeVisitor,
23};
24
25#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug, TyEncodable, TyDecodable)]
34#[derive(HashStable, Lift, TypeFoldable, TypeVisitable)]
35pub struct Instance<'tcx> {
36 pub def: InstanceKind<'tcx>,
37 pub args: GenericArgsRef<'tcx>,
38}
39
40#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
46#[derive(TyEncodable, TyDecodable, HashStable)]
47pub enum ReifyReason {
48 FnPtr,
56 Vtable,
60}
61
62#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
63#[derive(TyEncodable, TyDecodable, HashStable, TypeFoldable, TypeVisitable, Lift)]
64pub enum InstanceKind<'tcx> {
65 Item(DefId),
72
73 Intrinsic(DefId),
79
80 VTableShim(DefId),
86
87 ReifyShim(DefId, Option<ReifyReason>),
105
106 FnPtrShim(DefId, Ty<'tcx>),
110
111 Virtual(DefId, usize),
120
121 ClosureOnceShim { call_once: DefId, track_caller: bool },
128
129 ConstructCoroutineInClosureShim {
135 coroutine_closure_def_id: DefId,
136 receiver_by_ref: bool,
142 },
143
144 ThreadLocalShim(DefId),
148
149 FutureDropPollShim(DefId, Ty<'tcx>, Ty<'tcx>),
151
152 DropGlue(DefId, Option<Ty<'tcx>>),
158
159 CloneShim(DefId, Ty<'tcx>),
166
167 FnPtrAddrShim(DefId, Ty<'tcx>),
173
174 AsyncDropGlueCtorShim(DefId, Ty<'tcx>),
179
180 AsyncDropGlue(DefId, Ty<'tcx>),
185}
186
187impl<'tcx> Instance<'tcx> {
188 pub fn ty(&self, tcx: TyCtxt<'tcx>, typing_env: ty::TypingEnv<'tcx>) -> Ty<'tcx> {
191 let ty = tcx.type_of(self.def.def_id());
192 tcx.instantiate_and_normalize_erasing_regions(self.args, typing_env, ty)
193 }
194
195 pub fn upstream_monomorphization(&self, tcx: TyCtxt<'tcx>) -> Option<CrateNum> {
202 if self.def_id().is_local() {
205 return None;
206 }
207
208 if !tcx.sess.opts.share_generics()
212 && tcx.codegen_fn_attrs(self.def_id()).inline != rustc_hir::attrs::InlineAttr::Never
215 {
216 return None;
217 }
218
219 self.args.non_erasable_generics().next()?;
221
222 if tcx.is_compiler_builtins(LOCAL_CRATE) {
224 return None;
225 }
226
227 match self.def {
228 InstanceKind::Item(def) => tcx
229 .upstream_monomorphizations_for(def)
230 .and_then(|monos| monos.get(&self.args).cloned()),
231 InstanceKind::DropGlue(_, Some(_)) => tcx.upstream_drop_glue_for(self.args),
232 InstanceKind::AsyncDropGlue(_, _) => None,
233 InstanceKind::FutureDropPollShim(_, _, _) => None,
234 InstanceKind::AsyncDropGlueCtorShim(_, _) => {
235 tcx.upstream_async_drop_glue_for(self.args)
236 }
237 _ => None,
238 }
239 }
240}
241
242impl<'tcx> InstanceKind<'tcx> {
243 #[inline]
244 pub fn def_id(self) -> DefId {
245 match self {
246 InstanceKind::Item(def_id)
247 | InstanceKind::VTableShim(def_id)
248 | InstanceKind::ReifyShim(def_id, _)
249 | InstanceKind::FnPtrShim(def_id, _)
250 | InstanceKind::Virtual(def_id, _)
251 | InstanceKind::Intrinsic(def_id)
252 | InstanceKind::ThreadLocalShim(def_id)
253 | InstanceKind::ClosureOnceShim { call_once: def_id, track_caller: _ }
254 | ty::InstanceKind::ConstructCoroutineInClosureShim {
255 coroutine_closure_def_id: def_id,
256 receiver_by_ref: _,
257 }
258 | InstanceKind::DropGlue(def_id, _)
259 | InstanceKind::CloneShim(def_id, _)
260 | InstanceKind::FnPtrAddrShim(def_id, _)
261 | InstanceKind::FutureDropPollShim(def_id, _, _)
262 | InstanceKind::AsyncDropGlue(def_id, _)
263 | InstanceKind::AsyncDropGlueCtorShim(def_id, _) => def_id,
264 }
265 }
266
267 pub fn def_id_if_not_guaranteed_local_codegen(self) -> Option<DefId> {
269 match self {
270 ty::InstanceKind::Item(def) => Some(def),
271 ty::InstanceKind::DropGlue(def_id, Some(_))
272 | InstanceKind::AsyncDropGlueCtorShim(def_id, _)
273 | InstanceKind::AsyncDropGlue(def_id, _)
274 | InstanceKind::FutureDropPollShim(def_id, ..)
275 | InstanceKind::ThreadLocalShim(def_id) => Some(def_id),
276 InstanceKind::VTableShim(..)
277 | InstanceKind::ReifyShim(..)
278 | InstanceKind::FnPtrShim(..)
279 | InstanceKind::Virtual(..)
280 | InstanceKind::Intrinsic(..)
281 | InstanceKind::ClosureOnceShim { .. }
282 | ty::InstanceKind::ConstructCoroutineInClosureShim { .. }
283 | InstanceKind::DropGlue(..)
284 | InstanceKind::CloneShim(..)
285 | InstanceKind::FnPtrAddrShim(..) => None,
286 }
287 }
288
289 #[inline]
290 pub fn get_attrs(
291 &self,
292 tcx: TyCtxt<'tcx>,
293 attr: Symbol,
294 ) -> impl Iterator<Item = &'tcx hir::Attribute> {
295 tcx.get_attrs(self.def_id(), attr)
296 }
297
298 pub fn requires_inline(&self, tcx: TyCtxt<'tcx>) -> bool {
304 use rustc_hir::definitions::DefPathData;
305 let def_id = match *self {
306 ty::InstanceKind::Item(def) => def,
307 ty::InstanceKind::DropGlue(_, Some(_)) => return false,
308 ty::InstanceKind::AsyncDropGlueCtorShim(_, ty) => return ty.is_coroutine(),
309 ty::InstanceKind::FutureDropPollShim(_, _, _) => return false,
310 ty::InstanceKind::AsyncDropGlue(_, _) => return false,
311 ty::InstanceKind::ThreadLocalShim(_) => return false,
312 _ => return true,
313 };
314 matches!(
315 tcx.def_key(def_id).disambiguated_data.data,
316 DefPathData::Ctor | DefPathData::Closure
317 )
318 }
319
320 pub fn requires_caller_location(&self, tcx: TyCtxt<'_>) -> bool {
321 match *self {
322 InstanceKind::Item(def_id) | InstanceKind::Virtual(def_id, _) => {
323 tcx.body_codegen_attrs(def_id).flags.contains(CodegenFnAttrFlags::TRACK_CALLER)
324 }
325 InstanceKind::ClosureOnceShim { call_once: _, track_caller } => track_caller,
326 _ => false,
327 }
328 }
329
330 pub fn has_polymorphic_mir_body(&self) -> bool {
337 match *self {
338 InstanceKind::CloneShim(..)
339 | InstanceKind::ThreadLocalShim(..)
340 | InstanceKind::FnPtrAddrShim(..)
341 | InstanceKind::FnPtrShim(..)
342 | InstanceKind::DropGlue(_, Some(_))
343 | InstanceKind::FutureDropPollShim(..)
344 | InstanceKind::AsyncDropGlue(_, _) => false,
345 InstanceKind::AsyncDropGlueCtorShim(_, _) => false,
346 InstanceKind::ClosureOnceShim { .. }
347 | InstanceKind::ConstructCoroutineInClosureShim { .. }
348 | InstanceKind::DropGlue(..)
349 | InstanceKind::Item(_)
350 | InstanceKind::Intrinsic(..)
351 | InstanceKind::ReifyShim(..)
352 | InstanceKind::Virtual(..)
353 | InstanceKind::VTableShim(..) => true,
354 }
355 }
356}
357
358fn type_length<'tcx>(item: impl TypeVisitable<TyCtxt<'tcx>>) -> usize {
359 struct Visitor<'tcx> {
360 type_length: usize,
361 cache: FxHashMap<Ty<'tcx>, usize>,
362 }
363 impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for Visitor<'tcx> {
364 fn visit_ty(&mut self, t: Ty<'tcx>) {
365 if let Some(&value) = self.cache.get(&t) {
366 self.type_length += value;
367 return;
368 }
369
370 let prev = self.type_length;
371 self.type_length += 1;
372 t.super_visit_with(self);
373
374 if self.type_length > 16 {
376 self.cache.insert(t, self.type_length - prev);
377 }
378 }
379
380 fn visit_const(&mut self, ct: ty::Const<'tcx>) {
381 self.type_length += 1;
382 ct.super_visit_with(self);
383 }
384 }
385 let mut visitor = Visitor { type_length: 0, cache: Default::default() };
386 item.visit_with(&mut visitor);
387
388 visitor.type_length
389}
390
391impl<'tcx> fmt::Display for Instance<'tcx> {
392 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
393 ty::tls::with(|tcx| {
394 let mut p = FmtPrinter::new(tcx, Namespace::ValueNS);
395 let instance = tcx.lift(*self).expect("could not lift for printing");
396 instance.print(&mut p)?;
397 let s = p.into_buffer();
398 f.write_str(&s)
399 })
400 }
401}
402
403fn resolve_async_drop_poll<'tcx>(mut cor_ty: Ty<'tcx>) -> Instance<'tcx> {
411 let first_cor = cor_ty;
412 let ty::Coroutine(poll_def_id, proxy_args) = first_cor.kind() else {
413 bug!();
414 };
415 let poll_def_id = *poll_def_id;
416 let mut child_ty = cor_ty;
417 loop {
418 if let ty::Coroutine(child_def, child_args) = child_ty.kind() {
419 cor_ty = child_ty;
420 if *child_def == poll_def_id {
421 child_ty = child_args.first().unwrap().expect_ty();
422 continue;
423 } else {
424 return Instance {
425 def: ty::InstanceKind::FutureDropPollShim(poll_def_id, first_cor, cor_ty),
426 args: proxy_args,
427 };
428 }
429 } else {
430 let ty::Coroutine(_, child_args) = cor_ty.kind() else {
431 bug!();
432 };
433 if first_cor != cor_ty {
434 return Instance {
435 def: ty::InstanceKind::FutureDropPollShim(poll_def_id, first_cor, cor_ty),
436 args: proxy_args,
437 };
438 } else {
439 return Instance {
440 def: ty::InstanceKind::AsyncDropGlue(poll_def_id, cor_ty),
441 args: child_args,
442 };
443 }
444 }
445 }
446}
447
448impl<'tcx> Instance<'tcx> {
449 pub fn new_raw(def_id: DefId, args: GenericArgsRef<'tcx>) -> Instance<'tcx> {
458 assert!(
459 !args.has_escaping_bound_vars(),
460 "args of instance {def_id:?} has escaping bound vars: {args:?}"
461 );
462 Instance { def: InstanceKind::Item(def_id), args }
463 }
464
465 pub fn mono(tcx: TyCtxt<'tcx>, def_id: DefId) -> Instance<'tcx> {
466 let args = GenericArgs::for_item(tcx, def_id, |param, _| match param.kind {
467 ty::GenericParamDefKind::Lifetime => tcx.lifetimes.re_erased.into(),
468 ty::GenericParamDefKind::Type { .. } => {
469 bug!("Instance::mono: {:?} has type parameters", def_id)
470 }
471 ty::GenericParamDefKind::Const { .. } => {
472 bug!("Instance::mono: {:?} has const parameters", def_id)
473 }
474 });
475
476 Instance::new_raw(def_id, args)
477 }
478
479 #[inline]
480 pub fn def_id(&self) -> DefId {
481 self.def.def_id()
482 }
483
484 #[instrument(level = "debug", skip(tcx), ret)]
510 pub fn try_resolve(
511 tcx: TyCtxt<'tcx>,
512 typing_env: ty::TypingEnv<'tcx>,
513 def_id: DefId,
514 args: GenericArgsRef<'tcx>,
515 ) -> Result<Option<Instance<'tcx>>, ErrorGuaranteed> {
516 assert_matches!(
517 tcx.def_kind(def_id),
518 DefKind::Fn
519 | DefKind::AssocFn
520 | DefKind::Const
521 | DefKind::AssocConst
522 | DefKind::AnonConst
523 | DefKind::InlineConst
524 | DefKind::Static { .. }
525 | DefKind::Ctor(_, CtorKind::Fn)
526 | DefKind::Closure
527 | DefKind::SyntheticCoroutineBody,
528 "`Instance::try_resolve` should only be used to resolve instances of \
529 functions, statics, and consts; to resolve associated types, use \
530 `try_normalize_erasing_regions`."
531 );
532
533 if tcx.sess.opts.unstable_opts.enforce_type_length_limit
540 && !tcx.type_length_limit().value_within_limit(type_length(args))
541 {
542 return Ok(None);
543 }
544
545 tcx.resolve_instance_raw(
548 tcx.erase_and_anonymize_regions(typing_env.as_query_input((def_id, args))),
549 )
550 }
551
552 pub fn expect_resolve(
553 tcx: TyCtxt<'tcx>,
554 typing_env: ty::TypingEnv<'tcx>,
555 def_id: DefId,
556 args: GenericArgsRef<'tcx>,
557 span: Span,
558 ) -> Instance<'tcx> {
559 let span_or_local_def_span =
563 || if span.is_dummy() && def_id.is_local() { tcx.def_span(def_id) } else { span };
564
565 match ty::Instance::try_resolve(tcx, typing_env, def_id, args) {
566 Ok(Some(instance)) => instance,
567 Ok(None) => {
568 let type_length = type_length(args);
569 if !tcx.type_length_limit().value_within_limit(type_length) {
570 tcx.dcx().emit_fatal(error::TypeLengthLimit {
571 span: span_or_local_def_span(),
575 instance: Instance::new_raw(def_id, args),
576 type_length,
577 });
578 } else {
579 span_bug!(
580 span_or_local_def_span(),
581 "failed to resolve instance for {}",
582 tcx.def_path_str_with_args(def_id, args)
583 )
584 }
585 }
586 instance => span_bug!(
587 span_or_local_def_span(),
588 "failed to resolve instance for {}: {instance:#?}",
589 tcx.def_path_str_with_args(def_id, args)
590 ),
591 }
592 }
593
594 pub fn resolve_for_fn_ptr(
595 tcx: TyCtxt<'tcx>,
596 typing_env: ty::TypingEnv<'tcx>,
597 def_id: DefId,
598 args: GenericArgsRef<'tcx>,
599 ) -> Option<Instance<'tcx>> {
600 debug!("resolve(def_id={:?}, args={:?})", def_id, args);
601 assert!(!tcx.is_closure_like(def_id), "Called `resolve_for_fn_ptr` on closure: {def_id:?}");
603 let reason = tcx.sess.is_sanitizer_kcfi_enabled().then_some(ReifyReason::FnPtr);
604 Instance::try_resolve(tcx, typing_env, def_id, args).ok().flatten().map(|mut resolved| {
605 match resolved.def {
606 InstanceKind::Item(def) if resolved.def.requires_caller_location(tcx) => {
607 debug!(" => fn pointer created for function with #[track_caller]");
608 resolved.def = InstanceKind::ReifyShim(def, reason);
609 }
610 InstanceKind::Virtual(def_id, _) => {
611 debug!(" => fn pointer created for virtual call");
612 resolved.def = InstanceKind::ReifyShim(def_id, reason);
613 }
614 _ if tcx.sess.is_sanitizer_kcfi_enabled() => {
615 if tcx.is_closure_like(resolved.def_id()) {
617 resolved = Instance { def: InstanceKind::ReifyShim(def_id, reason), args }
621 } else if let Some(assoc) = tcx.opt_associated_item(def_id)
624 && let AssocContainer::Trait | AssocContainer::TraitImpl(Ok(_)) =
625 assoc.container
626 {
627 resolved.def = InstanceKind::ReifyShim(resolved.def_id(), reason)
630 }
631 }
632 _ => {}
633 }
634
635 resolved
636 })
637 }
638
639 pub fn expect_resolve_for_vtable(
640 tcx: TyCtxt<'tcx>,
641 typing_env: ty::TypingEnv<'tcx>,
642 def_id: DefId,
643 args: GenericArgsRef<'tcx>,
644 span: Span,
645 ) -> Instance<'tcx> {
646 debug!("resolve_for_vtable(def_id={:?}, args={:?})", def_id, args);
647 let fn_sig = tcx.fn_sig(def_id).instantiate_identity();
648 let is_vtable_shim = !fn_sig.inputs().skip_binder().is_empty()
649 && fn_sig.input(0).skip_binder().is_param(0)
650 && tcx.generics_of(def_id).has_self;
651
652 if is_vtable_shim {
653 debug!(" => associated item with unsizeable self: Self");
654 return Instance { def: InstanceKind::VTableShim(def_id), args };
655 }
656
657 let mut resolved = Instance::expect_resolve(tcx, typing_env, def_id, args, span);
658
659 let reason = tcx.sess.is_sanitizer_kcfi_enabled().then_some(ReifyReason::Vtable);
660 match resolved.def {
661 InstanceKind::Item(def) => {
662 let needs_track_caller_shim = resolved.def.requires_caller_location(tcx)
672 && !tcx.should_inherit_track_caller(def)
675 && !matches!(
681 tcx.opt_associated_item(def),
682 Some(ty::AssocItem {
683 container: ty::AssocContainer::Trait,
684 ..
685 })
686 );
687 if needs_track_caller_shim {
688 if tcx.is_closure_like(def) {
689 debug!(
690 " => vtable fn pointer created for closure with #[track_caller]: {:?} for method {:?} {:?}",
691 def, def_id, args
692 );
693
694 resolved = Instance { def: InstanceKind::ReifyShim(def_id, reason), args };
698 } else {
699 debug!(
700 " => vtable fn pointer created for function with #[track_caller]: {:?}",
701 def
702 );
703 resolved.def = InstanceKind::ReifyShim(def, reason);
704 }
705 }
706 }
707 InstanceKind::Virtual(def_id, _) => {
708 debug!(" => vtable fn pointer created for virtual call");
709 resolved.def = InstanceKind::ReifyShim(def_id, reason)
710 }
711 _ => {}
712 }
713
714 resolved
715 }
716
717 pub fn resolve_closure(
718 tcx: TyCtxt<'tcx>,
719 def_id: DefId,
720 args: ty::GenericArgsRef<'tcx>,
721 requested_kind: ty::ClosureKind,
722 ) -> Instance<'tcx> {
723 let actual_kind = args.as_closure().kind();
724
725 match needs_fn_once_adapter_shim(actual_kind, requested_kind) {
726 Ok(true) => Instance::fn_once_adapter_instance(tcx, def_id, args),
727 _ => Instance::new_raw(def_id, args),
728 }
729 }
730
731 pub fn resolve_drop_in_place(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> ty::Instance<'tcx> {
732 let def_id = tcx.require_lang_item(LangItem::DropInPlace, DUMMY_SP);
733 let args = tcx.mk_args(&[ty.into()]);
734 Instance::expect_resolve(
735 tcx,
736 ty::TypingEnv::fully_monomorphized(),
737 def_id,
738 args,
739 ty.ty_adt_def().and_then(|adt| tcx.hir_span_if_local(adt.did())).unwrap_or(DUMMY_SP),
740 )
741 }
742
743 pub fn resolve_async_drop_in_place(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> ty::Instance<'tcx> {
744 let def_id = tcx.require_lang_item(LangItem::AsyncDropInPlace, DUMMY_SP);
745 let args = tcx.mk_args(&[ty.into()]);
746 Instance::expect_resolve(
747 tcx,
748 ty::TypingEnv::fully_monomorphized(),
749 def_id,
750 args,
751 ty.ty_adt_def().and_then(|adt| tcx.hir_span_if_local(adt.did())).unwrap_or(DUMMY_SP),
752 )
753 }
754
755 pub fn resolve_async_drop_in_place_poll(
756 tcx: TyCtxt<'tcx>,
757 def_id: DefId,
758 ty: Ty<'tcx>,
759 ) -> ty::Instance<'tcx> {
760 let args = tcx.mk_args(&[ty.into()]);
761 Instance::expect_resolve(tcx, ty::TypingEnv::fully_monomorphized(), def_id, args, DUMMY_SP)
762 }
763
764 #[instrument(level = "debug", skip(tcx), ret)]
765 pub fn fn_once_adapter_instance(
766 tcx: TyCtxt<'tcx>,
767 closure_did: DefId,
768 args: ty::GenericArgsRef<'tcx>,
769 ) -> Instance<'tcx> {
770 let fn_once = tcx.require_lang_item(LangItem::FnOnce, DUMMY_SP);
771 let call_once = tcx
772 .associated_items(fn_once)
773 .in_definition_order()
774 .find(|it| it.is_fn())
775 .unwrap()
776 .def_id;
777 let track_caller =
778 tcx.codegen_fn_attrs(closure_did).flags.contains(CodegenFnAttrFlags::TRACK_CALLER);
779 let def = ty::InstanceKind::ClosureOnceShim { call_once, track_caller };
780
781 let self_ty = Ty::new_closure(tcx, closure_did, args);
782
783 let tupled_inputs_ty = args.as_closure().sig().map_bound(|sig| sig.inputs()[0]);
784 let tupled_inputs_ty = tcx.instantiate_bound_regions_with_erased(tupled_inputs_ty);
785 let args = tcx.mk_args_trait(self_ty, [tupled_inputs_ty.into()]);
786
787 debug!(?self_ty, args=?tupled_inputs_ty.tuple_fields());
788 Instance { def, args }
789 }
790
791 pub fn try_resolve_item_for_coroutine(
792 tcx: TyCtxt<'tcx>,
793 trait_item_id: DefId,
794 trait_id: DefId,
795 rcvr_args: ty::GenericArgsRef<'tcx>,
796 ) -> Option<Instance<'tcx>> {
797 let ty::Coroutine(coroutine_def_id, args) = *rcvr_args.type_at(0).kind() else {
798 return None;
799 };
800 let coroutine_kind = tcx.coroutine_kind(coroutine_def_id).unwrap();
801
802 let coroutine_callable_item = if tcx.is_lang_item(trait_id, LangItem::Future) {
803 assert_matches!(
804 coroutine_kind,
805 hir::CoroutineKind::Desugared(hir::CoroutineDesugaring::Async, _)
806 );
807 hir::LangItem::FuturePoll
808 } else if tcx.is_lang_item(trait_id, LangItem::Iterator) {
809 assert_matches!(
810 coroutine_kind,
811 hir::CoroutineKind::Desugared(hir::CoroutineDesugaring::Gen, _)
812 );
813 hir::LangItem::IteratorNext
814 } else if tcx.is_lang_item(trait_id, LangItem::AsyncIterator) {
815 assert_matches!(
816 coroutine_kind,
817 hir::CoroutineKind::Desugared(hir::CoroutineDesugaring::AsyncGen, _)
818 );
819 hir::LangItem::AsyncIteratorPollNext
820 } else if tcx.is_lang_item(trait_id, LangItem::Coroutine) {
821 assert_matches!(coroutine_kind, hir::CoroutineKind::Coroutine(_));
822 hir::LangItem::CoroutineResume
823 } else {
824 return None;
825 };
826
827 if tcx.is_lang_item(trait_item_id, coroutine_callable_item) {
828 if tcx.is_async_drop_in_place_coroutine(coroutine_def_id) {
829 return Some(resolve_async_drop_poll(rcvr_args.type_at(0)));
830 }
831 let ty::Coroutine(_, id_args) = *tcx.type_of(coroutine_def_id).skip_binder().kind()
832 else {
833 bug!()
834 };
835
836 if args.as_coroutine().kind_ty() == id_args.as_coroutine().kind_ty() {
839 Some(Instance { def: ty::InstanceKind::Item(coroutine_def_id), args })
840 } else {
841 Some(Instance {
842 def: ty::InstanceKind::Item(
843 tcx.coroutine_by_move_body_def_id(coroutine_def_id),
844 ),
845 args,
846 })
847 }
848 } else {
849 debug_assert!(tcx.defaultness(trait_item_id).has_value());
853 Some(Instance::new_raw(trait_item_id, rcvr_args))
854 }
855 }
856
857 fn args_for_mir_body(&self) -> Option<GenericArgsRef<'tcx>> {
868 self.def.has_polymorphic_mir_body().then_some(self.args)
869 }
870
871 pub fn instantiate_mir<T>(&self, tcx: TyCtxt<'tcx>, v: EarlyBinder<'tcx, &T>) -> T
872 where
873 T: TypeFoldable<TyCtxt<'tcx>> + Copy,
874 {
875 let v = v.map_bound(|v| *v);
876 if let Some(args) = self.args_for_mir_body() {
877 v.instantiate(tcx, args)
878 } else {
879 v.instantiate_identity()
880 }
881 }
882
883 #[inline(always)]
884 pub fn instantiate_mir_and_normalize_erasing_regions<T>(
886 &self,
887 tcx: TyCtxt<'tcx>,
888 typing_env: ty::TypingEnv<'tcx>,
889 v: EarlyBinder<'tcx, T>,
890 ) -> T
891 where
892 T: TypeFoldable<TyCtxt<'tcx>>,
893 {
894 if let Some(args) = self.args_for_mir_body() {
895 tcx.instantiate_and_normalize_erasing_regions(args, typing_env, v)
896 } else {
897 tcx.normalize_erasing_regions(typing_env, v.instantiate_identity())
898 }
899 }
900
901 #[inline(always)]
902 pub fn try_instantiate_mir_and_normalize_erasing_regions<T>(
904 &self,
905 tcx: TyCtxt<'tcx>,
906 typing_env: ty::TypingEnv<'tcx>,
907 v: EarlyBinder<'tcx, T>,
908 ) -> Result<T, NormalizationError<'tcx>>
909 where
910 T: TypeFoldable<TyCtxt<'tcx>>,
911 {
912 if let Some(args) = self.args_for_mir_body() {
913 tcx.try_instantiate_and_normalize_erasing_regions(args, typing_env, v)
914 } else {
915 tcx.try_normalize_erasing_regions(typing_env, v.instantiate_identity())
921 }
922 }
923}
924
925fn needs_fn_once_adapter_shim(
926 actual_closure_kind: ty::ClosureKind,
927 trait_closure_kind: ty::ClosureKind,
928) -> Result<bool, ()> {
929 match (actual_closure_kind, trait_closure_kind) {
930 (ty::ClosureKind::Fn, ty::ClosureKind::Fn)
931 | (ty::ClosureKind::FnMut, ty::ClosureKind::FnMut)
932 | (ty::ClosureKind::FnOnce, ty::ClosureKind::FnOnce) => {
933 Ok(false)
935 }
936 (ty::ClosureKind::Fn, ty::ClosureKind::FnMut) => {
937 Ok(false)
940 }
941 (ty::ClosureKind::Fn | ty::ClosureKind::FnMut, ty::ClosureKind::FnOnce) => {
942 Ok(true)
950 }
951 (ty::ClosureKind::FnMut | ty::ClosureKind::FnOnce, _) => Err(()),
952 }
953}
954
955#[derive(Debug, Copy, Clone, Eq, PartialEq, Decodable, Encodable, HashStable)]
958pub struct UnusedGenericParams(FiniteBitSet<u32>);
959
960impl Default for UnusedGenericParams {
961 fn default() -> Self {
962 UnusedGenericParams::new_all_used()
963 }
964}
965
966impl UnusedGenericParams {
967 pub fn new_all_unused(amount: u32) -> Self {
968 let mut bitset = FiniteBitSet::new_empty();
969 bitset.set_range(0..amount);
970 Self(bitset)
971 }
972
973 pub fn new_all_used() -> Self {
974 Self(FiniteBitSet::new_empty())
975 }
976
977 pub fn mark_used(&mut self, idx: u32) {
978 self.0.clear(idx);
979 }
980
981 pub fn is_unused(&self, idx: u32) -> bool {
982 self.0.contains(idx).unwrap_or(false)
983 }
984
985 pub fn is_used(&self, idx: u32) -> bool {
986 !self.is_unused(idx)
987 }
988
989 pub fn all_used(&self) -> bool {
990 self.0.is_empty()
991 }
992
993 pub fn bits(&self) -> u32 {
994 self.0.0
995 }
996
997 pub fn from_bits(bits: u32) -> UnusedGenericParams {
998 UnusedGenericParams(FiniteBitSet(bits))
999 }
1000}