structurally_normalize_expr

flux_infer::projections

Function structurally_normalize_expr 

Source 
pub fn structurally_normalize_expr(
    genv: GlobalEnv<'_, '_>,
    def_id: DefId,
    infcx: &InferCtxt<'_>,
    expr: &Expr,
) -> QueryResult<Expr>
Expand description

Do one step of normalization, unfolding associated refinements if they are concrete.

Use this if you are about to match structurally on an ExprKind and you need associated refinements to be normalized.