about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/autoderef.rs
AgeCommit message (Collapse)AuthorLines
2023-01-11Move autoderef to rustc_hir_analysisMichael Goulet-220/+0
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-6/+5
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-1/+1
2022-11-24Remove normalize_projection_typeSantiago Pastorino-8/+7
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the ↵Oli Scherer-5/+2
sites that used the wrong amount
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-2/+3
2022-11-10Use TraitEngine in more places, make FulfillmentCtxt constructor more privateMichael Goulet-2/+2
2022-11-08Remove an unused spanOli Scherer-10/+0
2022-11-08Remove overloaded_span argument from `new`, where it is usually redundant ↵Oli Scherer-2/+5
with the main span
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-14/+5
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-03-20Filter OnceNote in diagnostic infra.Camille GILLOT-20/+15
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-1/+1
This reverts commit ff2439b7b9bafcfdff86b7847128014699df8442, reversing changes made to 2a9e0831d6603d87220cedd1b1293e2eb82ef55c.
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-1/+1
This reverts commit 18bb8c61a975fff6424cda831ace5b0404277145, reversing changes made to d9baa361902b172be716f96619b909f340802dea.
2021-11-29Completely remove ConstnessAndOli Scherer-1/+1
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-2/+3
2021-09-28Improve help for recursion limit errorsRoss MacArthur-3/+7
2021-09-15Remove ToPredicate impls that use Binder::dummyjackh726-1/+1
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-2/+2
2021-07-04Query-ify global limit attribute handlingAaron Hill-2/+2
2021-06-02Restrict access to crate_name.Camille GILLOT-1/+3
Also remove original_crate_name, which had the exact same implementation
2021-06-01Revert "Reduce the amount of untracked state in TyCtxt"Camille Gillot-3/+1
2021-05-30Restrict access to crate_name.Camille GILLOT-1/+3
Also remove original_crate_name, which had the exact same implementation
2021-02-13Remove ProjectionTy::from_ref_and_nameMatthew Jasper-6/+4
2020-11-16compiler: fold by valueBastian Kauschke-3/+3
2020-09-10Note when a a move/borrow error is caused by a deref coercionAaron Hill-0/+7
Fixes #73268 When a deref coercion occurs, we may end up with a move error if the base value has been partially moved out of. However, we do not indicate anywhere that a deref coercion is occuring, resulting in an error message with a confusing span. This PR adds an explicit note to move errors when a deref coercion is involved. We mention the name of the type that the deref-coercion resolved to, as well as the `Deref::Target` associated type being used.
2020-08-30mv compiler to compiler/mark-0/+233
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 03:18:26 +0000