flowistry_pdg_construction::utils

Function try_monomorphize

Source
pub fn try_monomorphize<'tcx, 'a, T>(
    inst: Instance<'tcx>,
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    t: &'a T,
    span: Span,
) -> Result<T, ErrorGuaranteed>
where T: TypeFoldable<TyCtxt<'tcx>> + Clone + Debug,
Expand description

The “canonical” way we monomorphize