obligations_for_self_ty: use ProofTreeVisitor for nested goals#122385
Merged
bors merged 5 commits intorust-lang:masterfrom Apr 26, 2024
Merged
`obligations_for_self_ty`: use `ProofTreeVisitor` for nested goals#122385bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom
Commits
Commits on Apr 25, 2024
- committed
- committed
- committed
- committed
- committed
