about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/infer.rs
AgeCommit message (Expand)AuthorLines
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+1
2021-09-09Use FxHashSet instead of Vec for well formed tysjackh726-3/+4
2021-08-25trailing whitespaceNiko Matsakis-1/+1
2021-08-25update docs for `type_implements_trait`Niko Matsakis-0/+4
2021-08-25type_implements_trait consider obligation failure on overflowAman Arora-1/+1
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-5/+2
2021-07-06Make type_implements_trait not a queryAman Arora-1/+44
2021-03-18Fix use of bare trait objects everywhereVadim Petrochenkov-1/+1
2020-12-29Remove `compile-fail` test suiteVadim Petrochenkov-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-4/+4
2020-08-30mv compiler to compiler/mark-0/+182