summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-08-30Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-4/+14
2022-08-15Revert let_chains stabilizationNilstrieb-1/+1
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-15/+19
2022-08-03Rollup merge of #99795 - compiler-errors:delay-specialization-normalize-error...Matthias Krüger-4/+6
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-12/+14
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-9/+9
2022-08-03Change sized_constraints to return EarlyBinderJack Huey-1/+5
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-5/+5
2022-08-03Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726bors-186/+167
2022-08-03Delay a bug when failed to normalize trait ref during specializationMichael Goulet-4/+6
2022-08-02Auto merge of #92268 - jswrenn:transmute, r=oli-obkbors-0/+78
2022-08-02Auto merge of #100063 - matthiaskrgr:rollup-lznouys, r=matthiaskrgrbors-2/+2
2022-08-02Rollup merge of #99987 - Alexendoo:parse-format-position-span, r=fee1-deadMatthias Krüger-2/+2
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-4/+1
2022-08-02Rollup merge of #99156 - lcnr:omoe-wa, r=wesleywiserMatthias Krüger-2/+0
2022-08-01Remove trait_of_item query.Camille GILLOT-1/+1
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-3/+3
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-3/+8
2022-08-01fmt...Ellen-4/+1
2022-08-01Rollup merge of #100012 - TaKO8Ki:avoid-ty-to-string-conversions, r=fee1-deadMatthias Krüger-5/+4
2022-08-01Rollup merge of #99911 - cjgillot:no-guess, r=davidtwcoMatthias Krüger-1/+0
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-08-01avoid `Ty` to `String` conversionsTakayuki Maeda-5/+4
2022-07-31Always include a position span in rustc_parse_format::ArgumentAlex Macleod-2/+2
2022-07-30Rollup merge of #99862 - WaffleLapkin:type_mismatch_fix, r=compiler-errorsDylan DPC-13/+20
2022-07-30Rollup merge of #99311 - kckeiks:clean-up-body-owner-methods, r=cjgillotDylan DPC-3/+4
2022-07-30Auto merge of #99796 - compiler-errors:issue-53475, r=oli-obkbors-7/+1
2022-07-30Rollup merge of #99671 - TaKO8Ki:suggest-dereferencing-index, r=compiler-errorsYuki Okushi-0/+29
2022-07-29Rename local_did to def_idMiguel Guarniz-1/+1
2022-07-29Change maybe_body_owned_by to take local def idMiguel Guarniz-3/+4
2022-07-29Document check_region_obligations_and_report_errors, simplify a call to resol...Michael Goulet-7/+1
2022-07-29check if T is sliceTakayuki Maeda-2/+3
2022-07-29Auto merge of #99660 - PrestonFrom:issue_99265, r=compiler-errorsbors-1/+1
2022-07-28Remove guess_head_span.Camille GILLOT-1/+0
2022-07-28improve type mismatch error for functionsMaybe Waffle-13/+20
2022-07-28Rollup merge of #99837 - TaKO8Ki:avoid-symbol-to-string-conversions, r=fee1-deadDylan DPC-5/+5
2022-07-28avoid `Symbol` to `String` conversionsTakayuki Maeda-5/+5
2022-07-27safe transmute: don't mark user impls as unambiguousJack Wrenn-1/+0
2022-07-27safe transmute: gracefully handle const params of wrong typesJack Wrenn-1/+1
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-0/+79
2022-07-27Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=...Guillaume Gomez-68/+68
2022-07-27Rollup merge of #99789 - TaKO8Ki:use-pluralize-macro, r=compiler-errorsYuki Okushi-2/+2
2022-07-27use `pluralize!`Takayuki Maeda-2/+2
2022-07-26Fix diagnostics for unfulfilled obligationsDeadbeef-7/+11
2022-07-26Rollup merge of #99666 - compiler-errors:issue-99663, r=lcnrDylan DPC-1/+30
2022-07-26Rollup merge of #99618 - compiler-errors:uhh-idk, r=lcnrDylan DPC-13/+4
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-12/+14
2022-07-25handle consts with param/infer in const_eval_resolve betterMichael Goulet-13/+4
2022-07-25Restore Opaque behavior to coherence checkMichael Goulet-1/+30
2022-07-25Generate correct suggestion with named arguments used positionallyPreston From-1/+1