Make `ProofTreeBuilder` actually generic over `Interner`#125598

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:proof-tree-buildercompiler-errors/rust:proof-tree-builderCopy head branch name to clipboard