about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-2/+2
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-1/+14
2025-06-27Auto merge of #142223 - compiler-errors:perf-wf, r=lcnrbors-0/+7
2025-06-27Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errorsbors-30/+28
2025-06-26Simplify IfCauseMichael Goulet-7/+8
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-2/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-29/+27
2025-06-24Introduce trivial WF functions, use it in fast pathMichael Goulet-0/+7
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-0/+7
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-26RenameMichael Goulet-3/+3
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-13/+0
2025-05-07detect additional uses of opaques after writebacklcnr-1/+1
2025-05-06support duplicates in the opaque_types_storagelcnr-17/+8
2025-04-26convert some `GenericArg` to `Term`lcnr-3/+13
2025-04-23MoreMichael Goulet-2/+4
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-2/+2
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-2/+4
2025-04-03Pass correct param-env to error_impliesMichael Goulet-1/+2
2025-04-03add `TypingMode::Borrowck`lcnr-2/+4
2025-03-15Fold visit into tyMichael Goulet-3/+2
2025-03-15Squash fold into tyMichael Goulet-6/+4
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+2
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-1/+0
2025-02-21Remove an unnecessary re-export.Nicholas Nethercote-1/+0
2025-02-20Use a probe to avoid registering stray region obligations when re-checking dr...Michael Goulet-1/+1
2025-02-02Move `unify_key` module.Nicholas Nethercote-1/+2
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-1/+1
2024-12-30fix a couple nitsRémy Rakic-1/+1
2024-12-20remove non-borrowck member constraintslcnr-21/+0
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17`fn member_constraint` to `add_member_constraint`lcnr-2/+2
2024-11-28support revealing defined opaque post borrowcklcnr-3/+10
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+2
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-23/+8
2024-11-23global old solver cache: use `TypingEnv`lcnr-4/+5
2024-11-23no more Reveal :(lcnr-19/+3
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-14/+4
2024-11-18reviewlcnr-3/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+45
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-135/+1
2024-10-29TypingMode :thinking:lcnr-63/+36
2024-10-24Remove associated type based effects logicMichael Goulet-71/+3
2024-10-19refactor fudge_inference, handle effect varslcnr-3/+8
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-4/+4
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-4/+6
2024-10-10Use SolverRelating in new solverMichael Goulet-6/+0
2024-10-08Use `Default` more in `InferCtxtInner`.Nicholas Nethercote-6/+6
2024-10-08Inline and remove `RegionConstraintCollector::into_infos_and_data`.Nicholas Nethercote-13/+10
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 18:27:18 +0000