about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-07-06show fnsig's output when there is differenceyukang-8/+3
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-5/+3
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 out transitive_bounds_that_define_assoc_itemMichael Goulet-14/+25
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-0/+173
2024-07-05Supertrait elaboration doesn't need to use PredicatesMichael Goulet-5/+5
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-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-49/+37
2024-06-27Make queries more explicitMichael Goulet-4/+4
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-32/+20
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
2024-06-15Rollup merge of #126496 - compiler-errors:more-generics, r=lcnrGuillaume Gomez-0/+4
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-35/+23
2024-06-14Make proof tree probing genericMichael Goulet-0/+4
2024-06-14Rollup merge of #124884 - bvanjoi:fix-124785, r=estebankMatthias Krüger-3/+15
2024-06-13Address nitsMichael Goulet-29/+41
2024-06-13Fix some TODOsMichael Goulet-0/+8
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-15/+106
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-1/+20
2024-06-12Rollup merge of #126353 - compiler-errors:move-match, r=lcnrJubilee-123/+0
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-5/+4
2024-06-12Use Variance glob import everywhereMichael Goulet-35/+23
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-123/+0
2024-06-12Rollup merge of #126301 - nnethercote:sort-crate-attributes, r=davidtwcoJubilee-4/+6
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-4/+6
2024-06-11Try not to make obligations in handle_opaque_typeMichael Goulet-75/+66
2024-06-11Rename some thingsMichael Goulet-38/+40
2024-06-11Make ObligationEmittingRelation deal with Goals onlyMichael Goulet-49/+92
2024-06-11Get rid of PredicateObligationsMichael Goulet-17/+13
2024-06-10Add explanatory note to async block type mismatch errorGurinder Singh-0/+9
2024-06-06Uplift TypeRelation and RelateMichael Goulet-72/+184
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 21:48:21 +0000