about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
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
2021-08-21Auto merge of #88135 - crlf0710:trait_upcasting_part_3, r=nikomatsakisbors-2/+46
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/+41
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-0/+5
2021-08-13Make selection and evaluation caches use constnessDeadbeef-2/+2
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-08Fix outdated crate names in compiler docspierwill-1/+1
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-27Remove (lots of) dead codeJoshua Nelson-12/+0
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/+19
2021-02-15Rollup merge of #81503 - henryboisdequin:fix-const-fn-arr-err-msg, r=estebankJonas Schievink-1/+4
2021-02-15Add `ptr::Pointee` trait (for all types) and `ptr::metadata` functionSimon Sapin-2/+19
2021-02-03added a suggestion to create a `const` item if the `fn` in the array repeat e...Henry Boisdequin-1/+4
2021-02-02Update ChalkJack Huey-4/+21
2021-02-01Upgrade ChalkJack Huey-0/+15
2021-01-30Remove const_in_array_rep_exprkadmin-2/+1
2021-01-16Enforce that query results implement DebugAaron Hill-2/+2
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-6/+9
2020-11-16wordslcnr-1/+1
2020-10-30Update chalk 0.32.0 -> 0.35.0Matthew Jasper-42/+26