summary refs log tree commit diff
path: root/src/librustc_infer/infer
AgeCommit message (Expand)AuthorLines
2020-05-30Tweak wording and spans of `'static` `dyn Trait`/`impl Trait` requirementsEsteban Küber-21/+26
2020-05-30Consider all possible one letter lifetimes in suggestionEsteban Küber-3/+3
2020-05-30Account for enclosing item when suggesting new lifetime nameEsteban Küber-13/+33
2020-05-30Tweak type parameter errors to reduce verbosityEsteban Küber-11/+23
2020-05-30review comment: tweak wording and account for span overlapEsteban Küber-4/+18
2020-05-30Account for returned `dyn Trait` evaluating to `'static` lifetimeEsteban Küber-52/+32
2020-05-30Improve output of argument anonymous borrow missing annotation involving opaq...Esteban Küber-8/+18
2020-05-30Account for missing lifetime in opaque return typeEsteban Küber-69/+113
2020-05-29Rollup merge of #67460 - estebank:named-lts, r=nikomatsakisRalf Jung-10/+101
2020-05-28Account for `Self` as a type paramEsteban Küber-3/+7
2020-05-27review comments: change wording and visual outputEsteban Küber-47/+16
2020-05-27Fix rebaseEsteban Küber-3/+4
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-10/+10
2020-05-27fix rebaseEsteban Küber-1/+1
2020-05-27fix rebaseEsteban Küber-4/+2
2020-05-27Modify wordingEsteban Küber-11/+72
2020-05-27fix rebaseEsteban Küber-3/+3
2020-05-27review comment: use FxIndexSetEsteban Küber-3/+3
2020-05-27review commentsEsteban Küber-40/+18
2020-05-27Tweak output for mismatched impl itemEsteban Küber-13/+43
2020-05-27Name `RegionKind::ReVar` lifetimes in diagnosticsEsteban Küber-5/+55
2020-05-27Auto merge of #71996 - Marwes:detach_undo_log, r=nikomatsakisbors-21/+32
2020-05-24perf: Add inline on commonly used methods added in 69464Markus Westerlind-21/+32
2020-05-23iterate List by valueBastian Kauschke-6/+5
2020-05-23take predicates by value instead of by referenceBastian Kauschke-7/+8
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
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-12/+20
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-17/+17
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-10/+103
2020-05-14Rollup merge of #72087 - matthewjasper:regionck-hang, r=nikomatsakisDylan DPC-4/+16
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-09Rollup merge of #71555 - cjgillot:nameless, r=matthewjasperRalf Jung-3/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-15 00:50:33 +0000