about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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-07Rename `errors/mod.rs` as `errors.rs`.Nicholas Nethercote-0/+0
2024-10-07Remove unused features.Nicholas Nethercote-3/+0
2024-10-04Rollup merge of #130518 - scottmcm:stabilize-controlflow-extra, r=dtolnayJubilee-1/+0
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-25Stabilize the `map`/`value` methods on `ControlFlow`Scott McMurray-1/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-86/+73
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-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-3/+26
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-3/+26
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-1/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_infer`.Nicholas Nethercote-11/+12
2024-08-26Remove a couple of unused feature enablesbjorn3-2/+0
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/+4
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Use Vec in instantiate_binder_with_fresh_varsBryanskiy-24/+22
2024-07-29Reformat `use` declarations.Nicholas Nethercote-203/+187
2024-07-22Get rid of can_eq_shallowMichael Goulet-12/+0
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-11970/+33
2024-07-21Move need_type_info tooMichael Goulet-38/+19
2024-07-21Make type_var_origin take a vidMichael Goulet-10/+4
2024-07-21Move some stuff to TypeErrCtxtMichael Goulet-15/+11
2024-07-21Auto merge of #120812 - compiler-errors:impl-sorting, r=lcnrbors-2/+1
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors-2/+2
2024-07-18Revert "sort suggestions for object diagnostic"Michael Goulet-2/+1
2024-07-18Remove tag field from relationsMichael Goulet-39/+16
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+3
2024-07-18Rollup merge of #127810 - compiler-errors:less-tcx, r=lcnrMatthias Krüger-17/+17
2024-07-17Fix precise capturing suggestion for hidden type when APITs are involvedMichael Goulet-16/+115
2024-07-17Fix relationsMichael Goulet-17/+17
2024-07-16Use `ConstArg` for array lengthsNoah Lev-2/+2