summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-08-21Point at explicit `'static` obligations on a traitEsteban Küber-3/+7
2024-07-29Use Vec in instantiate_binder_with_fresh_varsBryanskiy-24/+22
2024-07-29Reformat `use` declarations.Nicholas Nethercote-28/+29
2024-07-22Get rid of can_eq_shallowMichael Goulet-12/+0
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-72/+31
2024-07-21Move need_type_info tooMichael Goulet-2/+10
2024-07-21Make type_var_origin take a vidMichael Goulet-10/+4
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+3
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-2/+3
2024-07-11Avoid follow-up errors and ICEs after missing lifetime errors on data structuresOli Scherer-0/+3
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors-13/+3
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-0/+1
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-15/+1
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-0/+4
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-16/+3
2024-06-26Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxtOli Scherer-3/+3
2024-06-26Restrict diagnostic context lifetime of FnCtxt to InferCtxt instead of TyCtxtOli Scherer-3/+3
2024-06-21Rename a bunch of thingsMichael Goulet-2/+2
2024-06-19Allow constraining opaque types during subtyping in the trait systemOli Scherer-2/+2
2024-06-18Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnrbors-145/+6
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 20:15:09 +0000