about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2024-07-29Use Vec in instantiate_binder_with_fresh_varsBryanskiy-24/+22
2024-07-29Reformat `use` declarations.Nicholas Nethercote-178/+167
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-1298/+10
2024-07-21Make type_var_origin take a vidMichael Goulet-10/+4
2024-07-21Move some stuff to TypeErrCtxtMichael Goulet-6/+4
2024-07-18Remove tag field from relationsMichael Goulet-35/+16
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-3/+3
2024-07-17Fix relationsMichael Goulet-16/+16
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-7752/+4
2024-07-12Rollup merge of #127619 - compiler-errors:precise-capturing-better-sugg, r=ol...Jubilee-12/+109
2024-07-11Make it translatable tooMichael Goulet-13/+10
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 #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-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-06show fnsig's output when there is differenceyukang-8/+3
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-4/+2
2024-07-06Uplift push_outlives_componentsMichael Goulet-270/+5
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-39/+15
2024-07-06show unit output when there is only output diff in diagnosticsyukang-2/+9
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-0/+173
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-17/+3
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-0/+4
2024-07-04Use shorter span for float literal suggestionEsteban Küber-3/+3
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-28/+16
2024-06-26Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxtOli Scherer-8/+8
2024-06-26Restrict diagnostic context lifetime of TypeErrCtxt to InferCtxt instead of T...Oli Scherer-6/+6
2024-06-26Restrict diagnostic context lifetime of FnCtxt to InferCtxt instead of TyCtxtOli Scherer-3/+3
2024-06-25Rollup merge of #126915 - SparkyPotato:fix-126903, r=compiler-errorsMatthias Krüger-2/+4
2024-06-24don't suggest awaiting type expr patternsSparkyPotato-2/+4
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-2/+2
2024-06-21Rename a bunch of thingsMichael Goulet-12/+12
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+3
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-18Remove redundant argument from `subdiagnostic` methodOli Scherer-18/+17
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-5/+6
2024-06-18SolverDelegateMichael Goulet-145/+6
2024-06-18Prefer `dcx` methods over fields or fields' methodsOli Scherer-1/+1
2024-06-16rustc_span: Minor improvementsVadim Petrochenkov-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 17:20:59 +0000