about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-5/+2
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-4/+7
2024-04-23Rollup merge of #124218 - Xiretza:subsubdiagnostics, r=davidtwcoLeón Orell Valerian Liehr-10/+10
2024-04-23Rollup merge of #120929 - long-long-float:wrap-dyn-in-suggestion, r=fmeaseLeón Orell Valerian Liehr-5/+11
2024-04-22Rollup merge of #124183 - compiler-errors:unnecessary-by-ref, r=oli-obkGuillaume Gomez-7/+7
2024-04-23Wrap dyn type with parentheses in suggestionlong-long-float-5/+11
2024-04-21Auto merge of #124203 - lukas-code:delete-deleting-caches, r=compiler-errorsbors-11/+3
2024-04-21Pass translation closure to add_to_diag_with() as referenceXiretza-10/+10
2024-04-20Rollup merge of #123379 - wutchzone:119266, r=compiler-errors许杰友 Jieyou Xu (Joe)-1/+18
2024-04-20remove `InferCtxt::clear_caches`Lukas Markeffsky-9/+0
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-2/+3
2024-04-20Print note with closure signature on type mismatchDaniel Sedlak-1/+18
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-7/+7
2024-04-18Rollup merge of #123980 - WaffleLapkin:graph-average-refactor, r=wesleywiserJubilee-1/+1
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-3/+3
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-3/+3
2024-04-17Don't error on subtyping of equal typesOli Scherer-1/+1
2024-04-16Auto merge of #123537 - compiler-errors:shallow, r=lcnrbors-107/+79
2024-04-16Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-errorsGuillaume Gomez-2/+15
2024-04-16Rollup merge of #123969 - oli-obk:define_opaque_types6, r=compiler-errorsMatthias Krüger-1/+1
2024-04-16Auto merge of #123468 - compiler-errors:precise-capturing, r=oli-obkbors-0/+1
2024-04-16Subtype predicates only exist on inference types, so we can allow them to reg...Oli Scherer-2/+15
2024-04-15Add an opt-in to store incoming edges in `VecGraph` + some docsMaybe Waffle-1/+1
2024-04-16Rollup merge of #123016 - compiler-errors:no-type-var-origin, r=lcnrLeón Orell Valerian Liehr-122/+61
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-107/+79
2024-04-15Rebase falloutMichael Goulet-3/+4
2024-04-15nitsMichael Goulet-4/+3
2024-04-15Account for Self params properlyMichael Goulet-20/+19
2024-04-15Remove ConstVariableOriginKindMichael Goulet-32/+15
2024-04-15Remove TypeVariableOriginKindMichael Goulet-74/+31
2024-04-15More polishingMichael Goulet-0/+1
2024-04-15The new solver ignores `DefineOpaqueTypes`, so switch it to `Yes`Oli Scherer-1/+1
2024-04-15PolyTraitRefs -> TraitRefsMichael Goulet-34/+16
2024-04-11Rollup merge of #123703 - estebank:diag-changes-2, r=NadrierilLeón Orell Valerian Liehr-19/+70
2024-04-10Use `fn` ptr signature instead of `{closure@..}` in infer errorEsteban Küber-19/+70
2024-04-09Add a helper for extending a span to include any trailing whitespaceMichael Goulet-6/+2
2024-04-09Don't use bytepos offsets when computing semicolon span for removalMichael Goulet-2/+9
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-93/+87
2024-04-08Ensure the canonical_param_env_cache does not contain inconsistent informatio...Oli Scherer-2/+6
2024-04-08Avoid fetching the opaque type origin when only "is this in the defining scop...Oli Scherer-18/+11
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-65/+62
2024-04-08Adjust a comment to the new status quoOli Scherer-6/+3
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-12/+15
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-04-04Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes`Oli Scherer-2/+6
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-3/+3
2024-03-29Rollup merge of #123188 - klensy:clippy-me2, r=NilstriebMatthias Krüger-3/+3
2024-03-28compiler: fix few needless_pass_by_ref_mut clippy lintsklensy-3/+3
2024-03-28Auto merge of #122832 - oli-obk:no_ord_def_id3, r=michaelwoeristerbors-1/+2
2024-03-27Remove TypeVariableOriginKind::OpaqueInferenceMichael Goulet-2/+1