about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Collapse)AuthorLines
2020-05-22Document `collect_bounding_regions`Matthew Jasper-0/+11
2020-05-22Remove dead ScopeTree codeMatthew Jasper-184/+53
2020-05-22Remove unused error reporting codeMatthew Jasper-536/+0
2020-05-22Remove ReScopeMatthew Jasper-362/+7
2020-05-22Improve the error when an opaque type captures ReEmtptyMatthew Jasper-2/+15
2020-05-22Check for upper bound universe errors more carefullyMatthew Jasper-18/+26
2020-05-22Rollup merge of #72125 - tshepang:broken-link, r=nikomatsakisRalf Jung-1/+1
remove broken link Not sure why this is broken @Marwes
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
correctly handle uninferred consts fixes the ICE mentioned in https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893 I originally tried to generalize `need_type_info_err` to also work with consts which was not as much fun as I hoped :sweat_smile: It might be easier to have some duplication here and handle consts separately. r? @varkor
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 ↵Ben Lewis-55/+59
variables. This means a inference variable can be unified with an unevaluated const.
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate ↵Ben Lewis-11/+114
obligation. This delays the need to evaluate consts eagerly and therefore gets around const eval query cycles.
2020-05-14Rollup merge of #72087 - matthewjasper:regionck-hang, r=nikomatsakisDylan DPC-4/+16
Fix hang in lexical_region_resolve Regionck was stuck in a loop where a region value was changing between two equal regions. Closes #72051
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-3/+1
Remove UnnormalizedProjection This was only used for the old chalk integration with chalk-engine r? @nikomatsakis
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
Fixes clippy::{cone_on_copy, filter_next, redundant_closure, single_char_pattern, len_zero,redundant_field_names, useless_format, identity_conversion, map_clone, into_iter_on_ref, needless_return, option_as_ref_deref, unused_unit, unnecessary_mut_passed}
2020-05-09Rollup merge of #71555 - cjgillot:nameless, r=matthewjasperRalf Jung-5/+4
Remove ast::{Ident, Name} reexports. The reexport of `Symbol` into `Name` confused me.
2020-05-09Rollup merge of #69406 - jackh726:chalk-upgrade, r=nikomatsakisRalf Jung-4/+8
upgrade chalk and use chalk-solve/chalk-ir/chalk-rust-ir Reintegrate chalk into rustc. r? @nikomatsakis cc. @rust-lang/wg-traits
2020-05-09Rollup merge of #72018 - mark-i-m:canon-chalk, r=mark-i-mDylan DPC-7/+7
Fix canonicalization links
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 17:42:22 +0000