about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-8/+8
2023-04-22Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjaybors-2/+2
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-21Clone region var origins instead of taking in borrowckMichael Goulet-2/+2
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-3/+3
2023-04-20Auto merge of #110527 - nnethercote:lazy-graph, r=lqdbors-4/+7
2023-04-20Auto merge of #110399 - cjgillot:infer-variance, r=aliemjaybors-13/+65
2023-04-19Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwcobors-1/+1
2023-04-19In `LexicalResolver`, don't construct graph unless necessary.Nicholas Nethercote-4/+7
2023-04-19Rollup merge of #110476 - compiler-errors:ty-err-ctxt-good-path, r=lcnrMatthias Krüger-2/+1
2023-04-18Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb-1/+1
2023-04-18Rollup merge of #110417 - jsoref:spelling-compiler, r=NilstriebGuillaume Gomez-19/+19
2023-04-18Rollup merge of #110461 - WaffleLapkin:expect_, r=NilstriebMatthias Krüger-10/+2
2023-04-18Delay a good path bug for TypeErrCtxtMichael Goulet-2/+1
2023-04-17Spelling - compilerJosh Soref-19/+19
2023-04-17Use `Item::expect_*` and `ImplItem::expect_*` moreMaybe Waffle-10/+2
2023-04-17Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkinMatthias Krüger-2/+1
2023-04-16Account for variance in outlives verification.Camille GILLOT-4/+45
2023-04-16Auto merge of #110405 - fee1-dead-contrib:rollup-9rkree6, r=fee1-deadbors-15/+12
2023-04-16Rollup merge of #110345 - nnethercote:rm-Super-impls-for-Region, r=compiler-e...fee1-dead-2/+2
2023-04-16use matches! macro in more placesMatthias Krüger-15/+12
2023-04-16Account for variance in outlives obligations.Camille GILLOT-9/+20
2023-04-16Various minor Idx-related tweaksScott McMurray-2/+1
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-2/+2
2023-04-14fix import ApplicabilityAlex Chi-1/+1
2023-04-14use param instead of tyAlex Chi-5/+17
2023-04-14better suggestion based on hirAlex Chi-41/+49
2023-04-14suggest lifetime for closure parameter type when mismatchAlex Chi-1/+58
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-179/+147
2023-04-12Auto merge of #110252 - matthiaskrgr:rollup-ovaixra, r=matthiaskrgrbors-4/+9
2023-04-12Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnrMatthias Krüger-4/+9
2023-04-12Auto merge of #110249 - matthiaskrgr:rollup-7iig04q, r=matthiaskrgrbors-9/+9
2023-04-12Rollup merge of #110153 - DaniPopes:compiler-typos, r=NilstriebMatthias Krüger-9/+9
2023-04-12Rollup merge of #110210 - nnethercote:DescriptionCtx-cleanups, r=davidtwcoMatthias Krüger-118/+79
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-0/+3
2023-04-12region error cleanuplcnr-179/+144
2023-04-12Inline and remove `msg_span_from_early_bound_and_free_regions`.Nicholas Nethercote-42/+32
2023-04-12Inline and remove `DescriptionCtx::from_early_bound_and_free_regions`.Nicholas Nethercote-67/+44
2023-04-12Inline and remove `DescriptionCtx::add_to`.Nicholas Nethercote-8/+4
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-15/+26
2023-04-11Split implied and super predicate queriesMichael Goulet-1/+1
2023-04-11Split super_predicates_that_define_assoc_type query from super_predicates_ofMichael Goulet-4/+2
2023-04-11Remove the unused `anon_num_here` error.Nicholas Nethercote-2/+0
2023-04-10Fix typos in compilerDaniPopes-9/+9
2023-04-10Auto merge of #108698 - IntQuant:issue-100717-infer-6, r=davidtwcobors-347/+698
2023-04-10Report overflows gracefully with new solverMichael Goulet-4/+9
2023-04-09Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naberbors-97/+112
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-1/+1
2023-04-06Remove index from BrAnonJack Huey-7/+7