about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/infer.rs
AgeCommit message (Expand)AuthorLines
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-28/+0
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-10/+6
2022-11-21Remove a redundant assertOli Scherer-6/+0
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+1
2022-11-21Check that type_implements_trait actually is passed the right amount of gener...Oli Scherer-3/+11
2022-11-04Some tracing and comment cleanupsOli Scherer-10/+2
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-7/+7
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-7/+7
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-13/+5
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-3/+3
2022-09-05Point out when a callable is not actually callable because its return is not ...Michael Goulet-0/+17
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-1/+0
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-0/+1
2021-11-29Completely remove ConstnessAndOli Scherer-1/+0
2021-10-15Move some outlives bounds things from rustc_trait_selection to rustc_typeckjackh726-49/+0
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