index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_trait_selection
/
src
/
solve
/
inspect
/
analyse.rs
Age
Commit message (
Expand
)
Author
Lines
2024-03-05
Convert `ProofTreeVisitor` to use `VisitorResult`
Jason Newcomb
-24
/
+23
2024-02-26
always emit `AliasRelate` goals when relating aliases
lcnr
-11
/
+2
2024-02-17
Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr
Matthias Krüger
-3
/
+5
2024-02-16
Use fulfillment in next trait solver coherence
Michael Goulet
-3
/
+5
2024-02-16
Move trait into attr so it's greppable
Michael Goulet
-2
/
+2
2024-02-16
Use extension trait derive
Michael Goulet
-9
/
+2
2024-01-09
readd the provisional cache
lcnr
-1
/
+2
2023-12-18
track the source of nested goals
lcnr
-1
/
+1
2023-11-21
Fix `clippy::needless_borrow` in the compiler
Nilstrieb
-1
/
+1
2023-11-17
Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errors
bors
-2
/
+5
2023-11-13
Fix overflow and cycle bound for ProofTreeVisitor.
Gavin Gray
-1
/
+1
2023-11-09
`try_normalize_ty` end with rigid alias on failure
lcnr
-2
/
+5
2023-11-02
use global cache when computing proof trees
lcnr
-7
/
+5
2023-09-21
w
lcnr
-1
/
+1
2023-09-21
slight refactor, add comment
lcnr
-11
/
+20
2023-09-21
proof trees: use for `intercrate_ambiguity_causes`
lcnr
-0
/
+226