Rename {GenericArg,Term}::unpack()
to kind()
#141495
Merged
bors merged 2 commits intorust-lang:masterfrom May 27, 2025
Merged
Rename `{GenericArg,Term}::unpack()` to `kind()`#141495bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on May 27, 2025
- committed
- committed