about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
2020-05-14Rollup merge of #72087 - matthewjasper:regionck-hang, r=nikomatsakisDylan DPC-4/+16
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-3/+1
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-3/+1
2020-05-11Fix hang in lexical_region_resolveMatthew Jasper-4/+16
2020-05-11Fix clippy warningsMatthias Krüger-3/+2
2020-05-09Rollup merge of #71555 - cjgillot:nameless, r=matthewjasperRalf Jung-5/+4
2020-05-09Rollup merge of #69406 - jackh726:chalk-upgrade, r=nikomatsakisRalf Jung-4/+8
2020-05-09Rollup merge of #72018 - mark-i-m:canon-chalk, r=mark-i-mDylan DPC-7/+7
2020-05-08fix canonicalization linksmark-7/+7
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-5/+4
2020-05-07Reintegrate chalk using chalk-solveJack Huey-4/+8
2020-05-05Restore the snapshot/rollback optimization for region constraintsMarkus Westerlind-13/+29
2020-05-05refactor: Replace probe_fudge by an explict call for the lengthsMarkus Westerlind-59/+23
2020-05-05refactor: Move probe_fudge into fudge.rsMarkus Westerlind-42/+41
2020-05-05Improve namingMarkus Westerlind-14/+31
2020-05-05Generate the UndoLog upcasts with a macroMarkus Westerlind-56/+22
2020-05-05Fix review commentsMarkus Westerlind-98/+58
2020-05-05Rebase and use ena 0.14Markus Westerlind-22/+29
2020-05-05refactor: simplifyMarkus Westerlind-15/+14
2020-05-05Prevent modifications without an undo logMarkus Westerlind-25/+25
2020-05-05Fix importMarkus Westerlind-1/+1
2020-05-05refactor: Extract the undo log to its own modulesMarkus Westerlind-230/+272
2020-05-05refactor: Rename Logs to InferCtxtUndoLogsMarkus Westerlind-23/+42
2020-05-05simplifyMarkus Westerlind-20/+6
2020-05-05perf: Merge region_obligations snapshotting into the undo logMarkus Westerlind-20/+22
2020-05-05perf: Limit leak check snapshotting to probe_maybe_skip_leak_checkMarkus Westerlind-8/+5
2020-05-05perf: Lazily recive the Rollback argument in rollback_toMarkus Westerlind-9/+15
2020-05-05perf: Separate CombinedSnapshot into a FullSnapshot for probingMarkus Westerlind-19/+33
2020-05-05Move projection_cache into the combined undo logMarkus Westerlind-34/+58
2020-05-05Allow SnapshotMap to have a separate undo_logMarkus Westerlind-4/+4
2020-05-05Move region_constraint to the unified undo logMarkus Westerlind-165/+182
2020-05-05perf: Reduce snapshot/rollback overheadMarkus Westerlind-184/+503
2020-05-04Auto merge of #71108 - estebank:suggest-proj-type-mismatch-constraint, r=oli-obkbors-2/+3
2020-05-03Rollup merge of #71806 - lcnr:patch-3, r=jonas-schievinkDylan DPC-1/+1
2020-05-02When a projection is expected, suggest constraining or calling methodEsteban Küber-2/+3
2020-05-02typoBastian Kauschke-1/+1
2020-05-02fix rustdoc warningsTshepang Lekhonkhobe-3/+3
2020-05-01Rollup merge of #71758 - jackh726:chalk-remove, r=jackh726Dylan DPC-17/+2
2020-05-01Rollup merge of #71018 - lcnr:custom-const-param, r=eddybDylan DPC-1/+0
2020-05-01Remove leftover chalk typesJack Huey-17/+2
2020-05-01remove obsolete commentsTshepang Lekhonkhobe-6/+0
2020-04-30Rollup merge of #71449 - ecstatic-morse:free-region-cleanup, r=Mark-SimulacrumDylan DPC-4/+181
2020-04-30Rollup merge of #70950 - nikomatsakis:leak-check-nll-2, r=matthewjasperDylan DPC-0/+4
2020-04-30coerce documentationBastian Kauschke-1/+0
2020-04-28Rollup merge of #71311 - estebank:fn-type-param, r=varkorDylan DPC-1/+7
2020-04-27fix typoEsteban Kuber-1/+1
2020-04-27Auto merge of #71268 - estebank:devectorize, r=eddybbors-18/+11
2020-04-26Rollup merge of #70043 - mark-i-m:def-kind-more, r=eddybDylan DPC-6/+1
2020-04-25Rollup merge of #71544 - cuviper:filter_map_next, r=Mark-SimulacrumDylan DPC-33/+27
2020-04-24Replace filter_map().next() calls with find_map()Josh Stone-33/+27
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 20:13:23 +0000