about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2024-10-10Use SolverRelating in new solverMichael Goulet-72/+2
2024-10-10Introduce SolverRelatingMichael Goulet-1/+34
2024-10-10Uplift super_combineMichael Goulet-254/+70
2024-10-10Move ty::Error branch into super_combine_tysMichael Goulet-5/+5
2024-10-08Remove unnecessary `return` keyword.Nicholas Nethercote-1/+1
2024-10-08Use `Default` more in `InferCtxtInner`.Nicholas Nethercote-18/+7
2024-10-08Downgrade a `&mut self` to `&self`.Nicholas Nethercote-1/+1
2024-10-08Remove `Deref`/`DerefMut` impls for `RegionConstraintCollector`.Nicholas Nethercote-32/+18
2024-10-08Remove unnecessary lifetime from `LeakCheck`.Nicholas Nethercote-32/+22
2024-10-08Inline and remove `RegionConstraintStorage::remove_constraint_entry`.Nicholas Nethercote-24/+20
2024-10-08Inline and remove `RegionConstraintCollector::into_infos_and_data`.Nicholas Nethercote-32/+18
2024-10-08Improve formatting of some comments.Nicholas Nethercote-23/+27
2024-10-08Add a useful comment about `InferOk`.Nicholas Nethercote-0/+7
2024-10-08Remove `OutlivesEnvironmentBuilder`.Nicholas Nethercote-61/+26
2024-10-07Auto merge of #131343 - compiler-errors:remove-combine-fields, r=lcnrbors-262/+161
2024-10-07Rollup merge of #131344 - nnethercote:ref-Lrc, r=compiler-errorsMatthias Krüger-4/+12
2024-10-07Remove At methods that are unusedMichael Goulet-41/+0
2024-10-07Remove unnecessary DefineOpaqueTypes from lubMichael Goulet-25/+9
2024-10-07Inline CombineFieldsMichael Goulet-218/+174
2024-10-07Convert a `&Lrc<T>` argument to `Lrc<T>`.Nicholas Nethercote-4/+12
2024-10-07Remove out-of-date comment.Nicholas Nethercote-2/+0
2024-10-07Move a `use` statement so it's with the other `use` statements.Nicholas Nethercote-2/+1
2024-10-07Simplify two matches.Nicholas Nethercote-15/+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-27/+24
2024-10-07Remove `InferCtxt::err_count_on_creation`.Nicholas Nethercote-18/+3
2024-10-07Reduce visibilities some more.Nicholas Nethercote-25/+26
2024-10-07Remove unused `UnitResult` type.Nicholas Nethercote-2/+0
2024-10-07Reduce visibilities.Nicholas Nethercote-52/+25
2024-10-04Auto merge of #131191 - nnethercote:lattice_op, r=lcnrbors-403/+231
2024-10-04Remove `LatticeDir` trait.Nicholas Nethercote-104/+69
2024-10-04Merge `rustc_infer::infer::relate::{glb,lub}`.Nicholas Nethercote-333/+196
2024-10-02Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errorsbors-5/+59
2024-10-02reviewlcnr-3/+5
2024-10-01add caches to multiple type folderslcnr-5/+57
2024-09-27Get rid of a_is_expected from ToTraceMichael Goulet-109/+36
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-1/+18
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-70/+60
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-2/+2
2024-09-10generalize: track relevant info in cache keylcnr-9/+9
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-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-4/+4
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+25
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-8/+8
2024-08-21Point at explicit `'static` obligations on a traitEsteban Küber-4/+8
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 12:04:49 +0000