about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
2020-05-22Rollup merge of #72125 - tshepang:broken-link, r=nikomatsakisRalf Jung-1/+1
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-9/+9
2020-05-20intern `PredicateKind`Bastian Kauschke-1/+1
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-24/+42
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-3/+3
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-47/+47
2020-05-19Rollup merge of #72066 - lcnr:const-type-info-err, r=varkorDylan DPC-1/+42
2020-05-18correctly handle uninferred constsBastian Kauschke-1/+42
2020-05-17Logically seperate lazy norm from `const_generics`Bastian Kauschke-4/+4
2020-05-17correctly handle escaping bound variablesBastian Kauschke-3/+11
2020-05-17merge lazy_normalization_consts into const_genericsBastian Kauschke-12/+4
2020-05-17initial cleanupBastian Kauschke-2/+2
2020-05-17Put lazy normalization behind a feature gateBen Lewis-6/+14
2020-05-17Emit `ConstEquate` obligation after checking/unifying for inference variables...Ben Lewis-55/+59
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-11/+114
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-14remove broken linkTshepang Lekhonkhobe-1/+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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-04 18:22:14 +0000