about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-3/+2
2023-01-15Rollup merge of #106859 - tialaramex:master, r=NilstriebMatthias Krüger-0/+16
2023-01-14Improve E0308: suggest user meant to use byte literal, w/ tests and fixNick Lamb-0/+16
2023-01-14Auto merge of #106696 - kylematsuda:early-binder, r=lcnrbors-0/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-1/+2
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-86/+41
2023-01-13Keep obligation chain when elaborating obligationsEsteban Küber-3/+15
2023-01-12is_ty_infer -> is_ty_or_numeric_inferMichael Goulet-7/+7
2023-01-12Rollup merge of #106714 - Ezrashaw:remove-e0490, r=davidtwconils-61/+3
2023-01-12Auto merge of #106760 - compiler-errors:rollup-0bogyco, r=compiler-errorsbors-1/+10
2023-01-12remove unreachable error code `E0490`Ezra Shaw-61/+3
2023-01-11Fix invalid syntax in impl Trait parameter type suggestions for E0311yanchen4791-17/+77
2023-01-11Move autoderef to rustc_hir_analysisMichael Goulet-1/+10
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-3/+3
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-9/+7
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-9/+7
2023-01-09Rollup merge of #106389 - compiler-errors:no-canonicalized, r=lcnrfee1-dead-10/+9
2023-01-09Rollup merge of #106164 - compiler-errors:check-region-tweak, r=oli-obkfee1-dead-21/+18
2023-01-08Rollup merge of #106131 - compiler-errors:not-ptrs, r=davidtwcoMichael Goulet-16/+51
2023-01-08Mention signature rather than fn pointers when comparing impl/trait methodsMichael Goulet-16/+51
2023-01-08remove unreachable error code `E0313`Ezra Shaw-42/+0
2023-01-07Rollup merge of #101936 - IntQuant:issue-100717-infer-4, r=compiler-errorsMatthias Krüger-326/+671
2023-01-06Auto merge of #105805 - yanchen4791:issue-105227-fix, r=estebankbors-7/+71
2023-01-05Suggests adding named lifetime when the return contains value borrowed from m...yanchen4791-7/+71
2023-01-05Use `BottomUpFolder`Esteban Küber-1/+1
2023-01-04Rollup merge of #106403 - compiler-errors:rename-hir-methods, r=cjgillotMichael Goulet-37/+34
2023-01-04Address commentsMichael Goulet-49/+43
2023-01-04Simplify some iterator combinatorsMichael Goulet-55/+36
2023-01-04get_parent and find_parentMichael Goulet-36/+33
2023-01-04rename get_parent_node to parent_idMichael Goulet-3/+3
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-21/+18
2023-01-03Simplify some canonical type alias namesMichael Goulet-10/+9
2022-12-29Rollup merge of #106221 - Nilstrieb:rptr-more-like-ref-actually, r=compiler-e...Matthias Krüger-5/+5
2022-12-28Address review commentsMichael Goulet-35/+29
2022-12-28Make trait/impl where clause mismatch on region error a bit more actionableMichael Goulet-39/+90
2022-12-28Rename `Rptr` to `Ref` in AST and HIRNilstrieb-5/+5
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-6/+11
2022-12-28eager is the default nowNikita Tomashevich-1/+1
2022-12-28Fix formattingNikita Tomashevich-2/+1
2022-12-28Fix broken rebaseNikita Tomashevich-1/+1
2022-12-28Fix nitsNikita Tomashevich-7/+4
2022-12-28Made ty_or_sig and trait_path use their actual types instead of StringNikita Tomashevich-77/+118
2022-12-28Split infer_explicit_lifetime_required into several diagsNikita Tomashevich-29/+43
2022-12-28Address changes of pr 103345Nikita Tomashevich-46/+46
2022-12-28Rename subdiagnostic fields that do not need to be unique nowNikita Tomashevich-17/+7
2022-12-28Use eager translationNikita Tomashevich-11/+27
2022-12-28Split into several messagesNikita Tomashevich-31/+195
2022-12-28More descriptive names for ActualImplExplNotes variantsNikita Tomashevich-6/+6
2022-12-28Rebase and fixNikita Tomashevich-14/+14