Function rustc::ty::wf::implied_bounds [] [src]

pub fn implied_bounds<'a, 'gcx, 'tcx>(infcx: &'a InferCtxt<'a, 'gcx, 'tcx>,
                                      body_id: NodeId,
                                      ty: Ty<'tcx>,
                                      span: Span)
                                      -> Vec<ImpliedBound<'tcx>>
🔬 This is a nightly-only experimental API. (rustc_private)

Compute the implied bounds that a callee/impl can assume based on the fact that caller/projector has ensured that ty is WF. See the ImpliedBound type for more details.