Function rustc::middle::implicator::implicationsUnstable [-] [+] [src]

pub fn implications<'a, 'tcx>(infcx: &'a InferCtxt<'a, 'tcx>, closure_typer: &ClosureTyper<'tcx>, body_id: NodeId, ty: Ty<'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