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
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_trait_selection
/
src
/
solve
/
trait_goals
Age
Commit message (
Expand
)
Author
Lines
2023-03-30
Closures always implement FnOnce in new solver
Michael Goulet
-3
/
+14
2023-03-21
Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errors
Matthias Krüger
-6
/
+22
2023-03-21
Also check function items' signatures for Fn* trait compatibility
Oli Scherer
-5
/
+14
2023-03-21
Deduplicate fn trait compatibility checks
Oli Scherer
-8
/
+1
2023-03-21
Only implement Fn* traits for extern "Rust" safe function pointers.
Oli Scherer
-1
/
+15
2023-03-16
replace usage of `evaluate_goal` with a new `add_goal`
Boxy
-1
/
+1
2023-02-26
Rollup merge of #107941 - compiler-errors:str-has-u8-slice-for-auto, r=lcnr
Matthias Krüger
-1
/
+3
2023-02-25
Treat `str` as containing `[u8]` for auto trait purposes
Michael Goulet
-1
/
+3
2023-02-25
Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnr
Michael Goulet
-2
/
+112
2023-02-24
Comments, another test
Michael Goulet
-2
/
+41
2023-02-24
Make higher-ranked projections in object types work in new solver
Michael Goulet
-16
/
+27
2023-02-24
Check object's supertrait and associated type bounds in new solver
Michael Goulet
-1
/
+61
2023-02-24
Rename many interner functions.
Nicholas Nethercote
-4
/
+2
2023-02-22
Move some InferCtxt methods to EvalCtxt in new solver
Michael Goulet
-14
/
+12
2023-02-17
Replace `mk_foo` calls with `infer_foo` where possible.
Nicholas Nethercote
-2
/
+2
2023-02-16
remove bound_type_of query; make type_of return EarlyBinder; change type_of i...
Kyle Matsuda
-1
/
+1
2023-02-07
Replacing bound vars is actually instantiating a binder
Michael Goulet
-2
/
+2
2023-01-27
Introduce GeneratorWitnessMIR.
Camille GILLOT
-0
/
+6
2023-01-26
fixup new usages of fn_sig, bound_fn_sig after rebasing
Kyle Matsuda
-1
/
+1
2023-01-26
Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnr
Matthias Krüger
-16
/
+23
2023-01-26
ICE in new solver if we see an inference variable
Michael Goulet
-16
/
+23
2023-01-26
Implement Generator and Future
Michael Goulet
-0
/
+1
2023-01-19
trait solver: Implement Fn traits and tuple trait
Michael Goulet
-1
/
+50
2023-01-19
Fix IndexVec::drain_enumerated
Michael Goulet
-10
/
+5
2023-01-18
Handle structural traits more gracefully
Michael Goulet
-0
/
+179