about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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
2024-10-08Improve formatting of some comments.Nicholas Nethercote-6/+6
2024-10-08Add a useful comment about `InferOk`.Nicholas Nethercote-0/+7
2024-10-07Auto merge of #131343 - compiler-errors:remove-combine-fields, r=lcnrbors-1/+0
2024-10-07Rollup merge of #131344 - nnethercote:ref-Lrc, r=compiler-errorsMatthias Krüger-1/+1
2024-10-07Inline CombineFieldsMichael Goulet-1/+0
2024-10-07Convert a `&Lrc<T>` argument to `Lrc<T>`.Nicholas Nethercote-1/+1
2024-10-07Streamline `next_*_var*` methods.Nicholas Nethercote-18/+6
2024-10-07Inline and remove `InferCtxtBuilder::with_defining_opaque_types`.Nicholas Nethercote-10/+3
2024-10-07Fix `FIXME` comment on `FixupError`.Nicholas Nethercote-22/+17
2024-10-07Remove `InferCtxt::err_count_on_creation`.Nicholas Nethercote-17/+3
2024-10-07Reduce visibilities some more.Nicholas Nethercote-4/+5
2024-10-07Remove unused `UnitResult` type.Nicholas Nethercote-2/+0
2024-10-07Reduce visibilities.Nicholas Nethercote-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-27/+21
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-2/+2
2024-09-09Remove needless returns detected by clippy in the compilerEduardo Sánchez Muñoz-2/+2
2024-09-07Rename variant `AddrOfRegion` of `RegionVariableOrigin` to `BorrowRegion`Gurinder Singh-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 10:47:17 +0000