about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
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-11578/+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/+110
2024-07-17Fix relationsMichael Goulet-17/+17
2024-07-16Use `ConstArg` for array lengthsNoah Lev-2/+2
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-65/+479
2024-07-12Rollup merge of #127619 - compiler-errors:precise-capturing-better-sugg, r=ol...Jubilee-12/+138
2024-07-11Make it translatable tooMichael Goulet-13/+39
2024-07-11Suggest using precise capturing for hidden type that captures regionMichael Goulet-12/+112
2024-07-11Avoid follow-up errors and ICEs after missing lifetime errors on data structuresOli Scherer-0/+3
2024-07-08Consolidate region error reporting in rustc_inferMichael Goulet-1263/+1268
2024-07-08Auto merge of #127438 - compiler-errors:compute-outlives-visitor, r=lcnrbors-22/+9
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-345/+4
2024-07-08Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr许杰友 Jieyou Xu (Joe)-0/+4
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors-15/+5
2024-07-07Uplift elaborationMichael Goulet-345/+4
2024-07-07Make push_outlives_components into a visitorMichael Goulet-6/+1
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+4
2024-07-06Don't track visited outlives bounds when decomposing verify for aliasMichael Goulet-22/+14
2024-07-06Rollup merge of #127417 - chenyukang:yukang-method-output-diff, r=oli-obkMichael Goulet-2/+4
2024-07-06Rollup merge of #127405 - compiler-errors:uplift-predicate-emitting-relation,...Michael Goulet-39/+15
2024-07-06Rollup merge of #127386 - compiler-errors:uplift-outlives-components, r=lcnrMichael Goulet-273/+6
2024-07-06Auto merge of #127388 - compiler-errors:elaboration-tweaks, r=lcnrbors-18/+29
2024-07-06show fnsig's output when there is differenceyukang-8/+3
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-5/+3