about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-01-25Use `can_eq` to compare types for default assoc type errorNilstrieb-3/+9
2023-01-25Move `note_and_explain_type_err` from `rustc_middle` to `rustc_infer`Nilstrieb-1/+651
2023-01-25Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obkbors-14/+6
2023-01-24Add suggestions for function pointersMatthew J Perez-2/+79
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-24/+26
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-14/+6
2023-01-23Rollup merge of #104926 - spastorino:calculate_diverging_fallback-cleanups, r...Dylan DPC-3/+0
2023-01-22Remove confusing 'while checking' note from opaque future type mismatchesMichael Goulet-46/+16
2023-01-22Store relationships on InherentSantiago Pastorino-3/+0
2023-01-22Rollup merge of #107111 - chenyukang:yukang/fix-107090-fluent-parameters, r=p...Matthias Krüger-1/+6
2023-01-20Fix typo in opaque_types.rsIkko Eltociear Ashimine-2/+2
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-11/+11
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-139/+65
2023-01-18Fix #107090, fix missing arguments for fluentyukang-1/+6
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-10/+10
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-18/+18
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-18/+18
2023-01-17Don't call closures immediately, use `try{}` blocksMaybe Waffle-11/+11
2023-01-17Rollup merge of #106829 - compiler-errors:more-alias-combine, r=spastorinoMatthias Krüger-86/+41
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