hax_frontend_exporter::traits

Function super_clause_to_clause_and_impl_expr

source 
pub fn super_clause_to_clause_and_impl_expr<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    impl_did: DefId,
    clause: Clause<'tcx>,
    span: Span,
) -> Option<(Clause, ImplExpr, Span)>
Expand description

Given a clause clause in the context of some impl block impl_did, susbts correctly Self from clause and (1) derive a Clause and (2) resolve an ImplExpr.