about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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
2022-12-28Partial work on static_impl_trait.rsNikita Tomashevich-111/+169
2022-12-28Migrate trait_impl_difference.rsNikita Tomashevich-27/+51
2022-12-28Migrate placeholder_error.rsNikita Tomashevich-126/+158
2022-12-28Migrate named_anon_conflict.rsNikita Tomashevich-26/+36
2022-12-28Rollup merge of #106205 - compiler-errors:oopsy, r=fee1-deadfee1-dead-630/+0
2022-12-28Remove some totally duplicated filesMichael Goulet-630/+0
2022-12-28Rename module compare_method -> compare_impl_itemMichael Goulet-1/+1
2022-12-27Account for `match` expr in single lineEsteban Küber-2/+2
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-5/+10
2022-12-24Rename some compare_method functionsMichael Goulet-1/+1
2022-12-24Rollup merge of #105975 - jeremystucki:rustc-remove-needless-lifetimes, r=eholkMatthias Krüger-2/+2
2022-12-23Rollup merge of #105661 - lcnr:evaluate-new, r=compiler-errorsnils-1/+5
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-2/+2
2022-12-20Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obkbors-6/+4
2022-12-20Auto merge of #105575 - compiler-errors:impl-wf-lint, r=oli-obkbors-2/+7
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-6/+5