summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-11-03Auto merge of #65779 - kevgrasso:E0308highlight, r=estebankbors-6/+50
2019-11-01Rollup merge of #65112 - jack-t:type-parens-lint, r=varkorTyler Mandry-1/+1
2019-10-29Add lint for unnecessary parens around typesjack-t-1/+1
2019-10-29Make error apply only to impl/trait mismatchEsteban Küber-15/+6
2019-10-29Point at the trait item and tweak wordingEsteban Küber-3/+15
2019-10-29review commentsEsteban Küber-12/+15
2019-10-29Custom lifetime error for `impl` item doesn't conform to `trait`Esteban Küber-0/+55
2019-10-25only relevant parts of type paths highlighted in E0308 type mismatch error me...Kevyn Grasso-7/+42
2019-10-24remove the last remaining READMEsMark Mansi-265/+4
2019-10-23Rollup merge of #65696 - varkor:nll-chalk-const-generics-issue, r=eddybMazdak Farrokhzad-30/+57
2019-10-23Rollup merge of #65657 - nnethercote:rm-InternedString-properly, r=eddybMazdak Farrokhzad-7/+7
2019-10-23Account for const generalisation in nll_relatevarkor-7/+21
2019-10-23debug messages addedKevyn Grasso-0/+9
2019-10-23Account for const generalisation in combinevarkor-3/+15
2019-10-23Auto merge of #57545 - bovinebuddha:object_safe_for_dispatch, r=nikomatsakisbors-4/+20
2019-10-22RFC 2027: "first draft" of implementationMathias Blikstad-4/+20
2019-10-22Fix an issue with const inference variables sticking around under Chalk + NLLvarkor-27/+28
2019-10-21Rollup merge of #65660 - varkor:canonical-const-to-bound-const, r=eddybMazdak Farrokhzad-15/+10
2019-10-21Rollup merge of #65647 - nnethercote:rm-unnecessary-traits, r=CentrilMazdak Farrokhzad-5/+5
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-15/+10
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-5/+5
2019-10-21Fix `canonicalize_const_var` from leaking inference variables throughben-1/+1
2019-10-21Convert fields within `DefPathData` from `InternedString` to `Symbol`.Nicholas Nethercote-1/+1
2019-10-21Convert some `InternedString`s to `Symbols`.Nicholas Nethercote-6/+6
2019-10-20Fix resolve_type_vars_with_obligations not resolving const inferenceben-3/+3
2019-10-17Inline and remove `iterate_until_fixed_point()`.Nicholas Nethercote-39/+28
2019-10-17Use a `BitSet` in `LexicalResolver::iterate_until_fixed_point()`.Nicholas Nethercote-5/+18
2019-10-14Rollup merge of #65260 - nnethercote:optimize-LexicalResolve-expansion, r=nik...Tyler Mandry-10/+16
2019-10-14Rollup merge of #65292 - JohnTitor:add-backticks, r=varkor,CentrilMazdak Farrokhzad-3/+3
2019-10-11Print lifetimes with backticksYuki Okushi-3/+3
2019-10-10Remove `tag` from `iterate_until_fixed_point()`.Nicholas Nethercote-4/+4
2019-10-10Special-case `ReEmpty` in `expand_node()`.Nicholas Nethercote-1/+9
2019-10-10Tweak `tcx` usage in `lub_concrete_regions()`.Nicholas Nethercote-5/+3
2019-10-10Auto merge of #64939 - nnethercote:snapshot-cleanups, r=nikomatsakisbors-20/+10
2019-10-08Remove `InferCtxt::in_snapshot()`.Nicholas Nethercote-17/+5
2019-10-08Clarify a comment in `RegionConstraintCollector::leak_check`.Nicholas Nethercote-3/+5
2019-10-08Rollup merge of #65154 - skinny121:const-arg-diagnostic, r=varkorMazdak Farrokhzad-1/+18
2019-10-06Fix const arguments not displaying in types mismatch diagnostic.ben-1/+18
2019-10-04replace GeneratorSubsts inside related typescsmoe-1/+1
2019-10-04generate GeneratorSubsts from SubstsRefcsmoe-4/+4
2019-10-04Rollup merge of #64817 - csmoe:closure, r=nikomatsakisMazdak Farrokhzad-10/+10
2019-10-03Auto merge of #64999 - nikomatsakis:issue-60424-async-return-inference, r=cra...bors-0/+11
2019-10-03generate ClosureSubsts from SubstsRefcsmoe-8/+8
2019-10-02document `shallow_resolve`Niko Matsakis-0/+11
2019-10-01Rename to `was_placeholder` to `from_forall`Aaron Hill-1/+11
2019-10-01Improve HRTB error span when -Zno-leak-check is usedAaron Hill-4/+6
2019-09-30Deduplicate closure type errorsEsteban Küber-1/+4
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-6/+6
2019-09-29remove ClosureSubsts with SubstsRefcsmoe-1/+1
2019-09-29introduce from_ref helper for replacementcsmoe-3/+3