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
/
infer.rs
Age
Commit message (
Expand
)
Author
Lines
2022-11-28
partially_normalize_... -> At::normalize
Michael Goulet
-28
/
+0
2022-11-21
Stop passing the self-type as a separate argument.
Oli Scherer
-10
/
+6
2022-11-21
Remove a redundant assert
Oli Scherer
-6
/
+0
2022-11-21
Assert that various types have the right amount of generic args and fix the s...
Oli Scherer
-4
/
+1
2022-11-21
Check that type_implements_trait actually is passed the right amount of gener...
Oli Scherer
-3
/
+11
2022-11-04
Some tracing and comment cleanups
Oli Scherer
-10
/
+2
2022-11-01
Auto merge of #103590 - compiler-errors:ocx-more, r=lcnr
bors
-7
/
+7
2022-10-27
(almost) Always use ObligationCtxt when dealing with canonical queries
Michael Goulet
-7
/
+7
2022-10-27
Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functions
Maybe Waffle
-1
/
+1
2022-10-07
Change InferCtxtBuilder from enter to build
Cameron Steffen
-13
/
+5
2022-10-07
Remove TypeckResults from InferCtxt
Cameron Steffen
-3
/
+3
2022-09-05
Point out when a callable is not actually callable because its return is not ...
Michael Goulet
-0
/
+17
2022-07-06
Update TypeVisitor paths
Alan Egerton
-1
/
+1
2021-12-12
Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"
Deadbeef
-1
/
+0
2021-12-03
Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"
Santiago Pastorino
-0
/
+1
2021-11-29
Completely remove ConstnessAnd
Oli Scherer
-1
/
+0
2021-10-15
Move some outlives bounds things from rustc_trait_selection to rustc_typeck
jackh726
-49
/
+0
2021-09-15
Remove ToPredicate impls that use Binder::dummy
jackh726
-1
/
+1
2021-09-09
Use FxHashSet instead of Vec for well formed tys
jackh726
-3
/
+4
2021-08-25
trailing whitespace
Niko Matsakis
-1
/
+1
2021-08-25
update docs for `type_implements_trait`
Niko Matsakis
-0
/
+4
2021-08-25
type_implements_trait consider obligation failure on overflow
Aman Arora
-1
/
+1
2021-07-16
Add initial implementation of HIR-based WF checking for diagnostics
Aaron Hill
-5
/
+2
2021-07-06
Make type_implements_trait not a query
Aman Arora
-1
/
+44
2021-03-18
Fix use of bare trait objects everywhere
Vadim Petrochenkov
-1
/
+1
2020-12-29
Remove `compile-fail` test suite
Vadim Petrochenkov
-1
/
+1
2020-11-16
compiler: fold by value
Bastian Kauschke
-4
/
+4
2020-08-30
mv compiler to compiler/
mark
-0
/
+182