replace GenericArg
with Term
where applicable#140320
Merged
bors merged 2 commits intorust-lang:masterfrom Apr 26, 2025
Merged
replace `GenericArg` with `Term` where applicable#140320bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Apr 26, 2025
- committed
- committed