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