about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
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
2021-02-18Auto merge of #81172 - SimonSapin:ptr-metadata, r=oli-obkbors-2/+13
2021-02-15Add `ptr::Pointee` trait (for all types) and `ptr::metadata` functionSimon Sapin-2/+13
2021-02-03added a suggestion to create a `const` item if the `fn` in the array repeat e...Henry Boisdequin-1/+4
2021-01-30Remove const_in_array_rep_exprkadmin-2/+1
2020-11-25Auto merge of #79336 - camelid:rename-feature-oibit-to-auto, r=oli-obkbors-1/+1
2020-11-24Use the name "auto traits" everywhere in the compilerCamelid-1/+1
2020-11-22Thread `Constness` through selectionJonas Schievink-4/+5
2020-10-23Review comments: use newtype instead of `bool`Esteban Küber-2/+15