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.