about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-3/+3
2022-02-26suggest a float literal when dividing a floating-point type by {integer}Takayuki Maeda-0/+5
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-2/+2
2022-02-17Suggest copying trait associated type bounds on lifetime errorJack Huey-0/+6
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-5/+4
2022-01-31Do not store overlap_mode, just pass it down on insertSantiago Pastorino-13/+1
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-1/+49
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-4/+4
2022-01-18Check const Drop impls considering ConstIfConst boundsMichael Goulet-13/+20
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