about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2019-09-28Rollup merge of #64802 - estebank:walk-parents-iterator, r=matthewjasperMazdak Farrokhzad-1/+1
2019-09-28Rollup merge of #64781 - Mark-Simulacrum:no-global-tcx, r=eddybMazdak Farrokhzad-5/+3
2019-09-27cleanup dead ast-borrowck / migrate-mode code.Mazdak Farrokhzad-0/+2
2019-09-27Remove global_tcx from TyCtxtMark Rousskov-5/+3
2019-09-27review commentsEsteban Küber-1/+1
2019-09-26Rename `Item.node` to `Item.kind`varkor-3/+3
2019-09-26Rename `Ty.node` to `Ty.kind`varkor-2/+2
2019-09-26Rename `TraitItem.node` to `TraitItem.kind`varkor-2/+2
2019-09-26Rename `ImplItem.node` to `ImplItem.kind`varkor-3/+3
2019-09-26Rename `Expr.node` to `Expr.kind`varkor-6/+6
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-60/+66