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_next_trait_solver
Age
Commit message (
Expand
)
Author
Lines
2024-04-08
Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr
bors
-1
/
+2
2024-04-08
Eliminate `DefiningAnchor` now that is just a single-variant enum
Oli Scherer
-2
/
+2
2024-04-08
Pass list of defineable opaque types into canonical queries
Oli Scherer
-1
/
+2
2024-04-08
Actually create ranged int types in the type system.
Oli Scherer
-0
/
+1
2024-03-28
Require foldability part of interner item bounds, remove redundant where clauses
Michael Goulet
-8
/
+2
2024-03-28
Restrict const ty's regions to static when putting them in canonical var list
Michael Goulet
-23
/
+56
2024-03-24
Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr
Matthias Krüger
-2
/
+1
2024-03-22
Uniquify ReError on input mode in canonicalizer
Michael Goulet
-2
/
+1
2024-03-22
Programmatically convert some of the pat ctors
Michael Goulet
-1
/
+1
2024-03-04
Allow a way to add constructors for rustc_type_ir types
Michael Goulet
-3
/
+4
2024-02-26
always emit `AliasRelate` goals when relating aliases
lcnr
-8
/
+30
2024-02-13
Move visitable bounds up into interner
Michael Goulet
-8
/
+2
2024-02-13
Add assertions back to canonicalizer
Michael Goulet
-3
/
+10
2024-02-06
Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs
Michael Goulet
-1
/
+2
2023-12-28
Remove movability from TyKind::Coroutine
Michael Goulet
-1
/
+1
2023-12-15
Opportunistically resolve region var in canonicalizer
Michael Goulet
-7
/
+1
2023-12-08
Make it not depend on nightly conditionally
Michael Goulet
-1
/
+7
2023-12-08
Feedback
Michael Goulet
-99
/
+96
2023-12-08
Uplift canonicalizer into new trait solver crate
Michael Goulet
-0
/
+433