Skip to content

Remove lower_arg_ty as all callers were passing None#142418

Merged
bors merged 1 commit intorust-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 intorust-lang:masterfrom
oli-obk:lower_arg_ty

Commits

Commits on Jun 12, 2025