summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-0/+18
2022-05-02fix most compiler/ doctestsElliot Roberts-3/+5
2022-04-04Auto merge of #95031 - compiler-errors:param-env-cache, r=Aaron1011bors-3/+10
2022-04-01update commentlcnr-2/+1
2022-04-01convert more `DefId`s to `LocalDefId`lcnr-3/+3
2022-03-31obligation cause: `RepeatVec` -> `RepeatValueCopy`lcnr-5/+6
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
2022-03-26Do not use ParamEnv::and to cache param-env with candidateMichael Goulet-3/+10
2022-03-25Auto merge of #95280 - InfRandomness:infrandomness/Dtorck_clarification, r=ol...bors-7/+7
2022-03-25Rollup merge of #94391 - light4:issue-90319, r=estebankDylan DPC-2/+15
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-7/+7
2022-03-25Fix ice when error reporting recursion errorslightning1141-2/+15
2022-03-24Properly track `ImplObligation`sEsteban Kuber-7/+20
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-12/+14
2022-03-16rustc_error: make ErrorReported impossible to constructmark-4/+6
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
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