about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
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-1/+1
2022-03-25Rollup merge of #94391 - light4:issue-90319, r=estebankDylan DPC-1/+1
2022-03-25Fix ice when error reporting recursion errorslightning1141-1/+1
2022-03-24Properly track `ImplObligation`sEsteban Kuber-7/+20
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-7/+9
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-01-26Improve selection errors for `~const` trait boundsDeadbeef-4/+4
2022-01-18Check const Drop impls considering ConstIfConst boundsMichael Goulet-10/+12
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-42/+40
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
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-09Remove redundant [..]sest31-9/+9
2021-11-23Add supertraits method to rustc_middleMichael Goulet-0/+1
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-05Issue 89275 fix and testTom Farmer-0/+1
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-15Auto merge of #88558 - fee1-dead:const-drop, r=oli-obkbors-2/+13
2021-09-09Const drop selection candidatesDeadbeef-2/+13
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-1/+1
2021-08-21Auto merge of #88135 - crlf0710:trait_upcasting_part_3, r=nikomatsakisbors-2/+29
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/+29
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
2021-04-27Make traits with GATs not object safeJack Huey-0/+8
2021-04-02Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebankbors-0/+3
2021-03-31Add u32 for bound variables to BinderJack Huey-1/+1
2021-03-21Rollup merge of #82707 - BoxyUwU:errooaaar, r=oli-obkDylan DPC-2/+2
2021-03-16fix expected/found order on impl trait projection mismatchSNCPlay42-0/+3
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-03-02errooaaar~Ellen-2/+2