summary refs log tree commit diff
path: root/src/librustc_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-30Rollup merge of #72162 - cuviper:extend_one, r=Mark-SimulacrumYuki Okushi-0/+9
2020-05-29Add Extend::{extend_one,extend_reserve}Josh Stone-0/+9
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-36/+30
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/+34
2020-05-24perf: Add inline on commonly used methods added in 69464Markus Westerlind-21/+34
2020-05-23fix Predicate perf regressionBastian Kauschke-18/+12
2020-05-23iterate List by valueBastian Kauschke-6/+5
2020-05-23take predicates by value instead of by referenceBastian Kauschke-15/+16
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-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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-12 04:44:34 +0000