about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-05-05Rebase and use ena 0.14Markus Westerlind-15/+23
2020-05-05perf: Merge region_obligations snapshotting into the undo logMarkus Westerlind-1/+1
2020-05-05Move projection_cache into the combined undo logMarkus Westerlind-1/+1
2020-05-04Rollup merge of #71038 - lcnr:dyn_trait_structural_match, r=pnkfelixDylan DPC-0/+5
2020-05-04Auto merge of #71108 - estebank:suggest-proj-type-mismatch-constraint, r=oli-obkbors-0/+7
2020-05-03Rollup merge of #71314 - mibac138:cfg-version, r=petrochenkovDylan DPC-6/+11
2020-05-02Point at associated types when they have a default typeEsteban Küber-0/+7
2020-05-03Implement RFC 2523, `#[cfg(version(..))]`mibac138-6/+11
2020-05-02Rollup merge of #71787 - tshepang:rustdoc-warnings, r=varkorDylan DPC-2/+2
2020-05-02Auto merge of #71795 - RalfJung:rollup-yqxfi5a, r=RalfJungbors-1/+0
2020-05-02fix rustdoc warningsTshepang Lekhonkhobe-2/+2
2020-05-02Auto merge of #70170 - eddyb:wf-early-exit, r=nikomatsakisbors-43/+45
2020-05-01remove obsolete commentTshepang Lekhonkhobe-1/+0
2020-05-01Auto merge of #70674 - cjgillot:query-arena-all, r=matthewjasperbors-2/+2
2020-04-30wf: {Int,Float}Var can only infer to always-WF ints/floats.Eduard-Mihai Burtescu-2/+8
2020-04-30wf: handle "livelock" checking before reaching `WfPredicates::compute`.Eduard-Mihai Burtescu-42/+38
2020-04-30Rollup merge of #71449 - ecstatic-morse:free-region-cleanup, r=Mark-SimulacrumDylan DPC-1/+1
2020-04-29forbid `dyn Trait` in const genericsBastian Kauschke-0/+5
2020-04-28Use the query system to allocate.Camille GILLOT-2/+2
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-1/+1
2020-04-27Auto merge of #71268 - estebank:devectorize, r=eddybbors-114/+91
2020-04-27Rollup merge of #71409 - estebank:point-at-ret-question-mark-op, r=petrochenkovDylan DPC-14/+37
2020-04-26Point at the return type on `.into()` failure caused by `?`Esteban Küber-14/+37
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-1/+1
2020-04-24Auto merge of #71215 - marmeladema:issue70853/librustc_middle-local-def-id-2,...bors-28/+47
2020-04-24Rollup merge of #71426 - contrun:fix-e0751-explanation, r=estebankDylan DPC-1/+1
2020-04-23Address comments from reviewmarmeladema-4/+3
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-8/+7
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-23/+43
2020-04-23librustc_middle: return LocalDefId instead of DefId in local_def_idmarmeladema-1/+2
2020-04-23fix error code for E0751YI-1/+1
2020-04-22Move `{Free,}RegionRelations` and `FreeRegionMap` out of `rustc_middle`Dylan MacKenzie-1/+1
2020-04-22Rollup merge of #71203 - csmoe:issue-71137, r=csmoeDylan DPC-6/+18
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-3/+4
2020-04-22add test for correct await spancsmoe-9/+15
2020-04-22Rollup merge of #70998 - estebank:suggest-impl-trait-empty-fn, r=varkorYuki Okushi-32/+92
2020-04-21Rollup merge of #71174 - Nokel81:fix-async-main-error, r=petrochenkovDylan DPC-12/+7
2020-04-20Ensure tail expression will have a `Ty` for E0746Esteban Küber-48/+73
2020-04-20Remove some allocations in predicate evaluationEsteban Küber-5/+7
2020-04-20Use more `Iterator`s instead of `Vec`sEsteban Küber-51/+35
2020-04-20Remove unnecessary allocationEsteban Küber-26/+25
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-33/+25
2020-04-20Suggest `-> impl Trait` and `-> Box<dyn Trait>` on fn that doesn't returnEsteban Küber-25/+60
2020-04-20Check that main/start is not asyncSebastian Malton-12/+7
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-35/+30
2020-04-19Auto merge of #69793 - estebank:predicate-obligations-4, r=nikomatsakisbors-183/+67
2020-04-18Add label to item source of bound obligationEsteban Küber-2/+2
2020-04-18Do not emit note for projected derived obligationsEsteban Küber-3/+15
2020-04-18Remove `AssocTypeBound` and propagate bound `Span`sEsteban Küber-188/+50
2020-04-18Maintain chain of derived obligationsEsteban Küber-0/+10