about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-11-14Drop `relate_opaque_item_substs`.Camille GILLOT-0/+1
2022-11-12Inherit generics for impl-trait.Camille GILLOT-27/+37
2022-11-12Rollup merge of #104206 - compiler-errors:ocx-more-2, r=lcnrDylan DPC-26/+0
2022-11-10Auto merge of #103636 - chenyukang:yukang/fix-103587-sugg-if-let, r=jackh276,...bors-0/+82
2022-11-09Remove save_and_restore_in_snapshot_flagMichael Goulet-26/+0
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-1/+2
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-7/+95
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-1/+2
2022-11-08use subdiagnostic for sugesting add letyukang-6/+14
2022-11-08fix #103587, Recover from common if let syntax mistakes/typosyukang-0/+74
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-2/+3
2022-11-07Add a known that this is a known limitationJack Huey-0/+1
2022-11-07Get spans for a couple more region types, add some optimizations, and extend ...Jack Huey-1/+1
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-7/+94
2022-11-07Auto merge of #103218 - CastilloDel:infer, r=jackh726bors-22/+27
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-2/+3
2022-11-06Auto merge of #103975 - oli-obk:tracing, r=jackh726bors-1/+1
2022-11-04Refactor tcx mk_const parameters.Mateusz-25/+20
2022-11-04Some tracing and comment cleanupsOli Scherer-1/+1
2022-11-01Rollup merge of #103575 - Xiretza:suggestions-style-attr, r=davidtwcoManish Goregaokar-5/+10
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-1/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-1/+1
2022-10-28Remove #![allow(rustc::potential_query_instability)] from rustc_inferCastilloDel-22/+27
2022-10-28Rollup merge of #103641 - compiler-errors:issue-103624, r=cjgillotMatthias Krüger-6/+6
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-6/+6
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-1/+1
2022-10-27Rollup merge of #103255 - oli-obk:opaque_wrong_eq_relation, r=compiler-errorsMatthias Krüger-52/+31
2022-10-26No need to probe when relating opaques in nll_relateMichael Goulet-1/+1
2022-10-26Convert all #[suggestion_*] attributes to #[suggestion(style = "...")]Xiretza-5/+10
2022-10-26Remove unneeded sub-comparisonOli Scherer-31/+8
2022-10-26Rollup merge of #103416 - compiler-errors:rpit-named, r=cjgillotDylan DPC-11/+10
2022-10-25Name impl trait in region bound suggestionMichael Goulet-11/+10
2022-10-25Bubble the opaque type ordering int opaque type handlingOli Scherer-5/+8
2022-10-25Pull opaque type handling out of the type relating delegateOli Scherer-16/+15
2022-10-24Assert if inference vars are leaking from fully_resolveMichael Goulet-1/+6
2022-10-23Auto merge of #103345 - Nilstrieb:diag-flat, r=compiler-errorsbors-47/+48
2022-10-23Migrate all diagnosticsNilstrieb-47/+48
2022-10-23Rollup merge of #103355 - compiler-errors:rpitit-default-check, r=oli-obkMatthias Krüger-1/+13
2022-10-23Rollup merge of #103354 - clubby789:escape-string-literals, r=compiler-errorsMatthias Krüger-2/+21
2022-10-22Introduce subst_iter and subst_iter_copied on EarlyBinderMichael Goulet-6/+2
2022-10-22Properly escape quotes when suggesting switching between char/string literalsclubby789-2/+21
2022-10-21Handle RPITITs properly in register_hidden_typeMichael Goulet-1/+13
2022-10-21Rollup merge of #103051 - davidtwco:translation-tidying-up, r=compiler-errorsDylan DPC-48/+41
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-6/+6
2022-10-17Auto merge of #102355 - lcnr:bye-bye-type-traversal, r=oli-obkbors-5/+0
2022-10-17infer: use derive moreDavid Wood-48/+41
2022-10-17mir constants: type traversing bye byelcnr-5/+0
2022-10-16fix `own_substs` ICETakayuki Maeda-5/+12
2022-10-14more dupe word typosRageking8-2/+2
2022-10-13Rollup merge of #102974 - Rageking8:fix-small-word-dupe-typos, r=JohnTitorYuki Okushi-1/+1