about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2024-05-19Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnrbors-9/+21
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-9/+21
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-9/+7
2024-05-18(Mostly) revert "Account for type param from other item in `note_and_explain`"Michael Goulet-62/+43
2024-05-17Rename Unsafe to SafetySantiago Pastorino-9/+7
2024-05-17Detect when a lifetime is being reused in suggestionEsteban Küber-0/+1
2024-05-17Tweak suggested lifetimes to modify return type instead of `&self` receiverEsteban Küber-2/+8
2024-05-17Account for owning item lifetimes in suggestion and annotate tests as `run-ru...Esteban Küber-3/+39
2024-05-17Always constrain the return type in lifetime suggestionEsteban Küber-0/+5
2024-05-17Suggest setting lifetime in borrowck error involving types with elided lifetimesEsteban Küber-30/+75
2024-05-17to_opt_poly_X_pred -> as_X_clauseMichael Goulet-1/+1
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-11/+15
2024-05-16Make P parameter explicitMichael Goulet-8/+21
2024-05-16Rename ToPredicate for UpcastMichael Goulet-25/+21
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-23/+36
2024-05-13Apply nitsMichael Goulet-5/+8
2024-05-13split out AliasTy -> AliasTermMichael Goulet-18/+28
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-2/+21
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-15/+25
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-2/+2
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-2/+2
2024-05-10Name tweaksMichael Goulet-15/+15
2024-05-10More rename falloutMichael Goulet-17/+22
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-52/+43
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-62/+81
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-12/+12
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-119/+60
2024-05-10Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnrMatthias Krüger-103/+54
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-2/+2
2024-05-10Fix out-of-date comment.Nicholas Nethercote-2/+2
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-83/+45
2024-05-10Inline and remove unused methods.Nicholas Nethercote-24/+13
2024-05-09Fix up `DescriptionCtx::new`.Nicholas Nethercote-14/+4
2024-05-07Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errorsMatthias Krüger-4/+40
2024-05-07generalize hr alias: avoid unconstrainable infer varslcnr-4/+40
2024-05-06borrowck: more eagerly prepopulate opaqueslcnr-0/+13
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-0/+12
2024-05-01Step bootstrap cfgsMark Rousskov-1/+0
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