about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-05-14Rollup merge of #72194 - doctorn:dispatch-from-dyn-ice, r=estebankDylan DPC-6/+23
2020-05-14Rollup merge of #72170 - lcnr:lang_item, r=oli-obkDylan DPC-2/+3
2020-05-14Don't ICE on missing `Unsize` implNathan Corbyn-6/+23
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-15/+6
2020-05-13use `require_lang_item` over `unwrap`.Bastian Kauschke-2/+3
2020-05-12review commentsEsteban Küber-2/+9
2020-05-12Increase verbosity of bound restriction suggestionsEsteban Küber-4/+8
2020-05-12Suggest adding super trait constraintsEsteban Küber-4/+41
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-15/+6
2020-05-11Rollup merge of #72109 - matthiaskrgr:cl8ppy, r=Dylan-DPCDylan DPC-5/+5
2020-05-11Rollup merge of #72019 - matthewjasper:dont-skip-binder, r=davidtwcoDylan DPC-0/+9
2020-05-11Fix clippy warningsMatthias Krüger-5/+5
2020-05-09Rollup merge of #71555 - cjgillot:nameless, r=matthewjasperRalf Jung-2/+1
2020-05-09Rollup merge of #69406 - jackh726:chalk-upgrade, r=nikomatsakisRalf Jung-14/+296
2020-05-09Rollup merge of #72018 - mark-i-m:canon-chalk, r=mark-i-mDylan DPC-1/+1
2020-05-08Fix debug assertion in error codeMatthew Jasper-0/+9
2020-05-08fix canonicalization linksmark-1/+1
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-2/+1
2020-05-07Reintegrate chalk using chalk-solveJack Huey-14/+296
2020-05-07Rollup merge of #71960 - estebank:fix-E0284, r=davidtwcoDylan DPC-3/+17
2020-05-07Fix E0284 to not use incorrect wordingEsteban Küber-3/+17
2020-05-07Auto merge of #55617 - oli-obk:stacker, r=nagisa,oli-obkbors-88/+108
2020-05-06Rollup merge of #70908 - estebank:suggest-add, r=nikomatsakisDylan DPC-184/+6
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-04Suggest restricting type param when it doesn't satisfy projectionEsteban Küber-184/+6
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-02Move ensure_sufficient_stack to data_structuresSimonas Kazlauskas-3/+3
2020-05-02Prevent stack overflow for deeply recursive codeOliver Scherer-88/+108
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