let
make_expr_p e ty ~orig =
make_expr e ty ~loc:(loc_of_p orig)