Skip to content

Remove lower_arg_ty as all callers were passing None#142418

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:lower_arg_ty
Jun 13, 2025
Merged

Remove lower_arg_ty as all callers were passing None#142418
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:lower_arg_ty

Commits

Commits on Jun 12, 2025