about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-12-09Rollup merge of #118762 - compiler-errors:gen-nits, r=eholkJubilee-3/+2
2023-12-08Rollup merge of #118736 - aliemjay:revert-ice-on-ambig, r=compiler-errorsMatthias Krüger-12/+4
2023-12-08Rollup merge of #117586 - compiler-errors:the-canonicalizer, r=lcnrMatthias Krüger-430/+1
2023-12-08More nitsMichael Goulet-3/+2
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-430/+1
2023-12-08Implement `async gen` blocksMichael Goulet-4/+232
2023-12-08Auto merge of #118689 - compiler-errors:const-drop, r=fee1-deadbors-10/+21
2023-12-08temporarily revert "ice on ambguity in mir typeck"Ali MJ Al-Nasrawy-12/+4
2023-12-08Auto merge of #118725 - lcnr:normalizes-to-projection-split-3, r=BoxyUwUbors-76/+102
2023-12-08implement and use `NormalizesTo`lcnr-67/+73
2023-12-07Rollup merge of #118686 - compiler-errors:object-safety, r=lcnrMatthias Krüger-10/+7
2023-12-07add unused `NormalizesTo` predicatelcnr-10/+30
2023-12-07Fix const drop checkingMichael Goulet-10/+21
2023-12-07Auto merge of #118685 - compiler-errors:stack-dependent, r=lcnrbors-4/+4
2023-12-07Auto merge of #118684 - compiler-errors:yeet-poly-gen-sig, r=spastorinobors-65/+59
2023-12-06Only check principal trait ref for object safetyMichael Goulet-10/+7
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-4/+4
2023-12-06Yeet PolyGenSigMichael Goulet-65/+59
2023-12-06Rollup merge of #116496 - estebank:question-method-chain-context, r=compiler-...Matthias Krüger-3/+232
2023-12-05Reduce verbosity of errorEsteban Küber-16/+21
2023-12-05Detect incorrect `;` in `Option::ok_or_else` and `Result::map_err`Esteban Küber-3/+67
2023-12-05Point at fewer methods in the chain, only those that change the E typeEsteban Küber-29/+47
2023-12-05Provide context when `?` can't be called because of `Result<_, E>`Esteban Küber-1/+143
2023-12-05Rollup merge of #118346 - compiler-errors:deeply-normalize-for-diagnostic, r=...Michael Goulet-5/+57
2023-12-05Add moreMichael Goulet-5/+5
2023-12-05Add print_trait_sugaredMichael Goulet-11/+4
2023-12-05Continue folding if deep normalizer failsMichael Goulet-14/+40
2023-12-05Add deeply_normalize_for_diagnostics, use it in coherenceMichael Goulet-4/+30
2023-12-04Deduplicate some logicEsteban Küber-0/+72
2023-12-04Rollup merge of #118495 - weiznich:more_tests_for_on_unimplemented, r=compile...Takayuki Maeda-52/+95
2023-12-04Restrict what symbols can be used in `#[diagnostic::on_unimplemented]` format...Georg Semmler-52/+95
2023-12-03Auto merge of #118526 - sjwang05:issue-118510, r=petrochenkovbors-2/+9
2023-12-02Fix ICE when suggesting closures for non-fn-like defssjwang05-2/+9
2023-12-02Auto merge of #117754 - matthewjasper:subtype-overflow, r=lcnrbors-5/+30
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-34/+38
2023-12-01Handle recursion limit for subtype and well-formed predicatesMatthew Jasper-5/+30
2023-11-30Auto merge of #117805 - estebank:arg-fn-mismatch, r=petrochenkovbors-18/+173
2023-11-29review comments and rebase fixesEsteban Küber-65/+64
2023-11-29On Fn arg mismatch for a fn path, suggest a closureEsteban Küber-11/+167
2023-11-29new solver: improve instrument annotationslcnr-1/+4
2023-11-27Auto merge of #117200 - rmehri01:repeated_help, r=WaffleLapkinbors-1/+1
2023-11-27Auto merge of #118118 - spastorino:do-not-erase-late-bound-regions-on-iat, r=...bors-1/+12
2023-11-26don't add redundant help for object safety violationsRyan Mehri-1/+1
2023-11-26Rollup merge of #118302 - mu001999:dead_code/clean, r=cjgillotGuillaume Gomez-17/+0
2023-11-26Auto merge of #118267 - compiler-errors:ambiguity-causes, r=spastorinobors-67/+54
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-10/+10
2023-11-26Clean dead codesr0cky-17/+0
2023-11-25Rollup merge of #118290 - compiler-errors:placeholder-implied, r=aliemjayMichael Goulet-2/+4
2023-11-25Rollup merge of #118288 - compiler-errors:is_some_and, r=lqd,dtolnayMichael Goulet-6/+14
2023-11-25Rollup merge of #118201 - compiler-errors:obligation-causes, r=cjgillotMichael Goulet-20/+3