summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize
AgeCommit message (Expand)AuthorLines
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-14fast_reject: remove `StripReferences`lcnr-19/+4
2022-01-31Do not store overlap_mode, just pass it down on insertSantiago Pastorino-3/+5
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-2/+11
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-1/+10
2022-01-19remove `is_noop`lcnr-1/+1
2022-01-17directly use ConstValue for single literals in blocksb-naber-2/+1
2021-12-16Rollup merge of #91904 - SylvanB:remove_in_band_lifetimes_rustc_trait_selecti...Matthias Krüger-9/+9
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-9/+9
2021-12-14extend `simplify_type`lcnr-4/+19
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-3/+3
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-3/+3
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-3/+3
2021-11-10don't inline `report_overlap_conflict`lcnr-0/+5
2021-11-10no overlap errors after failing the orphan checklcnr-2/+6
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-13/+12
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-1/+1
2021-09-23Auto merge of #89016 - lcnr:non_blanket_impls, r=nikomatsakis,michaelwoeristerbors-4/+4
2021-09-21use indexmap instead of hashmaplcnr-1/+1
2021-09-21renamelcnr-4/+4
2021-09-20Remove Drop-caused migration-added capturesMark Rousskov-2/+0
2021-09-20Enable 2021 compatibility lints for all in-tree codeMark Rousskov-13/+17
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-04-06Remove trailing `:` from E0119 messageEsteban Küber-2/+2
2021-02-25fix reviewklensy-5/+3
2021-02-24replaced some map_or with map_or_elseklensy-3/+8
2020-11-22Thread `Constness` through selectionJonas Schievink-2/+2
2020-11-16compiler: fold by valueBastian Kauschke-2/+2
2020-09-03specialization_graph: avoid trimmed paths for OverlapErrorDan Aloni-2/+4
2020-08-30mv compiler to compiler/mark-0/+897