Function rustc_lint::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