Function substitute_infer_in_expr 

pub fn substitute_infer_in_expr(expr: &Expr, replacement: &Type) -> Expr

Substitute replacement for every _ occurrence inside an expression.