summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/inspect/analyse.rs
AgeCommit message (Expand)AuthorLines
2024-03-05Convert `ProofTreeVisitor` to use `VisitorResult`Jason Newcomb-24/+23
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-11/+2
2024-02-17Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnrMatthias Krüger-3/+5
2024-02-16Use fulfillment in next trait solver coherenceMichael Goulet-3/+5
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-9/+2
2024-01-09readd the provisional cachelcnr-1/+2
2023-12-18track the source of nested goalslcnr-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-2/+5
2023-11-13Fix overflow and cycle bound for ProofTreeVisitor.Gavin Gray-1/+1
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-2/+5
2023-11-02use global cache when computing proof treeslcnr-7/+5
2023-09-21wlcnr-1/+1
2023-09-21slight refactor, add commentlcnr-11/+20
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-0/+226