about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
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
2020-10-23Account for possible boxable `impl Future` in semicolon removal suggestionsEsteban Küber-2/+2
2020-10-22Reduce diagram mess in 'match arms have incompatible types' errorDavid Tolnay-0/+1
2020-10-20review commentsEsteban Küber-1/+1
2020-10-20Tweak "object unsafe" errorsEsteban Küber-20/+54
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-45/+44
2020-09-14Auto merge of #75608 - estebank:suggest-boxed-match-exprs, r=lcnr,varkorbors-0/+3
2020-09-11Add test cases and address review commentsEsteban Küber-2/+2
2020-09-11Suggest boxed trait objects in tail `match` and `if` expressionsEsteban Küber-0/+3
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-4/+2
2020-08-30mv compiler to compiler/mark-0/+754