rustc_monomorphize/
lib.rs

1// tidy-alphabetical-start
2#![feature(array_windows)]
3#![feature(file_buffered)]
4#![feature(if_let_guard)]
5#![feature(impl_trait_in_assoc_type)]
6#![feature(once_cell_get_mut)]
7// tidy-alphabetical-end
8
9use rustc_hir::lang_items::LangItem;
10use rustc_middle::query::TyCtxtAt;
11use rustc_middle::ty::adjustment::CustomCoerceUnsized;
12use rustc_middle::ty::{self, Ty};
13use rustc_middle::util::Providers;
14use rustc_middle::{bug, traits};
15use rustc_span::ErrorGuaranteed;
16
17mod collector;
18mod errors;
19mod mono_checks;
20mod partitioning;
21mod util;
22
23rustc_fluent_macro::fluent_messages! { "../messages.ftl" }
24
25fn custom_coerce_unsize_info<'tcx>(
26    tcx: TyCtxtAt<'tcx>,
27    source_ty: Ty<'tcx>,
28    target_ty: Ty<'tcx>,
29) -> Result<CustomCoerceUnsized, ErrorGuaranteed> {
30    let trait_ref = ty::TraitRef::new(
31        tcx.tcx,
32        tcx.require_lang_item(LangItem::CoerceUnsized, Some(tcx.span)),
33        [source_ty, target_ty],
34    );
35
36    match tcx
37        .codegen_select_candidate(ty::TypingEnv::fully_monomorphized().as_query_input(trait_ref))
38    {
39        Ok(traits::ImplSource::UserDefined(traits::ImplSourceUserDefinedData {
40            impl_def_id,
41            ..
42        })) => Ok(tcx.coerce_unsized_info(impl_def_id)?.custom_kind.unwrap()),
43        impl_source => {
44            bug!(
45                "invalid `CoerceUnsized` from {source_ty} to {target_ty}: impl_source: {:?}",
46                impl_source
47            );
48        }
49    }
50}
51
52pub fn provide(providers: &mut Providers) {
53    partitioning::provide(providers);
54    mono_checks::provide(providers);
55}
rustc_monomorphize/lib.rs

rustc_monomorphize/
lib.rs
