Function rustc_trans::middle::implicator::implicationsUnstable
[-] [+]
[src]
pub fn implications(infcx: &'a InferCtxt<'a, 'tcx>, closure_typer: &ClosureTyper<'tcx>, body_id: u32, ty: &'tcx TyS<'tcx>, outer_region: Region, span: Span) -> Vec<Implication<'tcx>>
This routine computes the well-formedness constraints that must hold for the type ty
to
appear in a context with lifetime outer_region