about summary refs log tree commit diff
path: root/src/librustc/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-32/+0
2020-02-16Make librustc compile.Camille GILLOT-0/+32
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-1785/+0
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-155/+181
2020-02-06lint impls that will become incoherent when leak-check is removedNiko Matsakis-3/+4
2020-02-06add the ability to skip leak check within a snapshotNiko Matsakis-0/+27
2020-02-06use derive(Debug) for TypeTraceNiko Matsakis-7/+1
2020-02-05Move ExpectedFound::new to ty::error.Camille GILLOT-10/+0
2020-02-05Move infer::region_constraints::MemberConstraint to infer::types module.Camille GILLOT-0/+1
2020-01-10nix syntax::errors & prefer rustc_errors over errorsMazdak Farrokhzad-1/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-2/+2
2020-01-04canonicalize FxHash{Map,Set} importsMazdak Farrokhzad-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-3/+3
2019-12-22Format the worldMark Rousskov-139/+90
2019-12-14Indicate origin of where type parameter for uninferred typesOhad Ravid-1/+4
2019-12-11Change `PendingPredicateObligation::stalled_on`'s type.Nicholas Nethercote-9/+7
2019-12-11Optimize `shallow_resolve_changed`.Nicholas Nethercote-13/+15
2019-11-29allow customising ty::TraitRef's printing behaviorMikhail Babenko-1/+1
2019-11-17Auto merge of #66384 - cjgillot:typefoldable, r=Zoxcbors-11/+1
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-11/+1
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-2/+1
2019-10-23Rollup merge of #65657 - nnethercote:rm-InternedString-properly, r=eddybMazdak Farrokhzad-2/+2
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-1/+1
2019-10-21Convert some `InternedString`s to `Symbols`.Nicholas Nethercote-2/+2
2019-10-08Remove `InferCtxt::in_snapshot()`.Nicholas Nethercote-17/+5
2019-10-04Rollup merge of #64817 - csmoe:closure, r=nikomatsakisMazdak Farrokhzad-4/+4
2019-10-03Auto merge of #64999 - nikomatsakis:issue-60424-async-return-inference, r=cra...bors-0/+11
2019-10-03generate ClosureSubsts from SubstsRefcsmoe-4/+4
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-2/+4
2019-09-30Deduplicate closure type errorsEsteban Küber-1/+4
2019-09-28Rollup merge of #64781 - Mark-Simulacrum:no-global-tcx, r=eddybMazdak Farrokhzad-1/+1
2019-09-27cleanup dead ast-borrowck / migrate-mode code.Mazdak Farrokhzad-0/+2
2019-09-27Remove global_tcx from TyCtxtMark Rousskov-1/+1
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-2/+2
2019-09-25Fix rebasevarkor-1/+1
2019-09-25Rename `sty` to `kind`varkor-3/+3
2019-09-20Upgrade to ena-0.13.1 and use the new `inlined_probe_value` function.Nicholas Nethercote-2/+3
2019-09-20Specialize the `stalled_on` handling in `process_obligation()`.Nicholas Nethercote-2/+2
2019-09-19Auto merge of #64545 - nnethercote:ObligForest-more, r=nmatsakisbors-6/+38
2019-09-19Add a specialized version of `shallow_resolve()`.Nicholas Nethercote-6/+38
2019-09-12Shrink `SubregionOrigin`.Nicholas Nethercote-1/+5
2019-09-07Aggregation of cosmetic changes made during work on REPL PRs: librustcAlexander Regueiro-4/+4
2019-08-28Add Option<Span> to `require_lang_item`Yuki Okushi-1/+1
2019-07-31Remove redundant method with const variable resolutionvarkor-23/+4
2019-07-02rename to "member constraints"Niko Matsakis-3/+3
2019-07-02switch to LrcNiko Matsakis-2/+2
2019-07-02address nits by mattewjasperNiko Matsakis-1/+1
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-1/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-11-02 00:52:30 +0000