Give proof tree visitors the ability to instantiate nested goals directly#124540

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

compiler-errors:nested-goalscompiler-errors/rust:nested-goalsCopy head branch name to clipboard