about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
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
2020-04-25Rollup merge of #71534 - cuviper:unused-option-map, r=Mark-SimulacrumDylan DPC-1/+3
2020-04-25Rollup merge of #69456 - contrun:fix-misleading-compiler-error, r=estebankDylan DPC-6/+52
2020-04-24Avoid unused Option::map resultsJosh Stone-1/+3
2020-04-24Remove `Option` from the return type of `def_kind`.Eduard-Mihai Burtescu-6/+1
2020-04-23Address comments from reviewmarmeladema-6/+4
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-5/+5
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-5/+10
2020-04-22Move `{Free,}RegionRelations` and `FreeRegionMap` out of `rustc_middle`Dylan MacKenzie-4/+181
2020-04-20Remove some allocations in predicate evaluationEsteban Küber-4/+3
2020-04-20Remove some `Vec` allocations in an effort to improve perfEsteban Küber-14/+8
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-43/+48