about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2022-01-07Add query to avoid name comparison in `leaf_def`Matthew Jasper-29/+16
2021-12-23Auto merge of #92167 - pierwill:chalk-update, r=jackh726bors-30/+31
2021-12-22Update chalk to 0.75.0pierwill-30/+31
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-42/+40
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-3/+3
2021-12-13Keep info on pre-desugaring expression for better "incorrect `.await`" sugges...Esteban Kuber-1/+1
2021-12-13Reduce verbosity for `?` on non-`Try` expressionsEsteban Kuber-0/+2
2021-12-13Reduce verbosity when calling `for`-loop on non-`Iterator` expressionEsteban Kuber-0/+2
2021-12-13When `.await` is called on a non-`Future` expression, suggest removalEsteban Kuber-0/+2
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-8/+6
2021-12-09Remove redundant [..]sest31-9/+9
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-6/+8
2021-11-29Fix toolsDeadbeef-2/+2
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-1/+1
2021-11-29Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same...Oli Scherer-4/+2
2021-11-29Prefer TraitPredicate over ConstnessAnd<TraitRef>Oli Scherer-1/+1
2021-11-23Add supertraits method to rustc_middleMichael Goulet-0/+50
2021-11-14Simplify ObligationCauseData hash to skip ObligationCauseCodeThe8472-1/+10
2021-11-07Remove some fields from `ObligationCauseCode`Matthew Jasper-2/+0
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-0/+12
2021-10-20Make EvaluationCache consider polarity as cache's keySantiago Pastorino-2/+4
2021-10-20Consider negative polarity on overlap checkSantiago Pastorino-2/+2
2021-10-10Fix spelling: Cannonical -> CanonicalJohn Kugelman-2/+2
2021-10-05Issue 89275 fix and testTom Farmer-4/+11
2021-10-03Remove re-export.Camille GILLOT-1/+1
2021-10-01Rollup merge of #88963 - fee1-dead:const-iterator, r=oli-obkManish Goregaokar-1/+3
2021-09-21use indexmap instead of hashmaplcnr-13/+3
2021-09-21renamelcnr-4/+4
2021-09-18Auto merge of #89000 - Mark-Simulacrum:no-new-lrc, r=petrochenkovbors-1/+1
2021-09-16Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisabors-4/+14
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-4/+14
2021-09-15Reuse existing shared Lrc for MatchImpl parentMark Rousskov-1/+1
2021-09-15Move object safety suggestions to the end of the errorEsteban Kuber-2/+2
2021-09-15Coerce const FnDefs to implement const Fn traitsDeadbeef-1/+3
2021-09-15Auto merge of #88558 - fee1-dead:const-drop, r=oli-obkbors-2/+19
2021-09-09fmtDeadbeef-1/+1
2021-09-09Const drop selection candidatesDeadbeef-2/+19
2021-09-09rename mir -> thir around abstract constsEllen-1/+1
2021-08-30Enforce diverging let...elseCameron Steffen-0/+3
2021-08-27Add `ty::BoundConstness`Deadbeef-2/+1
2021-08-22Fix typos “a”→“an”Frank Steffahn-2/+2
2021-08-21Auto merge of #88135 - crlf0710:trait_upcasting_part_3, r=nikomatsakisbors-2/+46
2021-08-20Require a box expression's type to be SizedAnton Golov-0/+2
2021-08-18Fold `vtable_trait_upcasting_coercion_new_vptr_slot` logic into obligation pr...Charles Lew-2/+41
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-0/+5
2021-08-13Make selection and evaluation caches use constnessDeadbeef-2/+2
2021-07-20Support HIR wf checking for function signaturesAaron Hill-6/+28
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-0/+3
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-5/+12
2021-07-09Revert the revert of renaming traits::VTable to ImplSourcePaul Trojahn-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 16:38:17 +0000