about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-10-13explicitly handle auto trait leakage in coherencelcnr-16/+22
2023-10-11Handle several `#[diagnostic::on_unimplemented]` attributes correctlyGeorg Semmler-12/+34
2023-10-11Auto merge of #115948 - notriddle:notriddle/logo-lockup, r=fmeasebors-0/+3
2023-10-11Rollup merge of #116530 - aliemjay:ice-on-ambiguity, r=compiler-errorsAli MJ Al-Nasrawy-4/+12
2023-10-10Rollup merge of #116596 - lcnr:normalize-subdir, r=compiler-errorsMatthias Krüger-4/+5
2023-10-10reorder files in solvelcnr-4/+5
2023-10-08rustdoc: remove rust logo from non-Rust cratesMichael Howell-0/+3
2023-10-08delay a bug when encountering an ambiguity in MIR typeckAli MJ Al-Nasrawy-4/+12
2023-10-06Auto merge of #114811 - estebank:impl-ambiguity, r=wesleywiserbors-3476/+3562
2023-10-05Rollup merge of #116452 - cjgillot:noassert-erased, r=oli-obkMatthias Krüger-3/+0
2023-10-05Do not assert that hidden types don't have erased regions.Camille GILLOT-3/+0
2023-10-05Auto merge of #116184 - compiler-errors:afit-lint, r=tmandrybors-53/+69
2023-10-04Auto merge of #116370 - nnethercote:more-arena-stuff, r=cjgillotbors-1/+1
2023-10-04Fix test on WASM target by making ambiguity pruning more agressiveEsteban Küber-1/+1
2023-10-04Split `traits::error_reporting` to keep files smallerEsteban Küber-3528/+3560
2023-10-04Show suggestion for `<SelfTy as Trait>::assoc_fn` in more cases and fmt codeEsteban Küber-19/+42
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-5/+21
2023-10-04Show more information when multiple `impl` applyEsteban Küber-4/+19
2023-10-03Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwcoMatthias Krüger-36/+27
2023-10-03Auto merge of #116376 - matthiaskrgr:rollup-b3d14gq, r=matthiaskrgrbors-1/+2
2023-10-03Rollup merge of #116358 - compiler-errors:match, r=lcnrMatthias Krüger-1/+2
2023-10-03Auto merge of #115025 - ouz-a:ouz_testing, r=lcnrbors-0/+15
2023-10-03Optimize some `alloc_from_iter` call sites.Nicholas Nethercote-1/+1
2023-10-03Add async_fn_in_trait lintMichael Goulet-53/+69
2023-10-02Point out the actual mismatch errorMichael Goulet-1/+14
2023-10-02For a single impl candidate, try to unify it with error trait refMichael Goulet-3/+75
2023-10-02Rename both of the Match relationsMichael Goulet-1/+2
2023-10-02change is_subtype to relate_typesouz-a-0/+15
2023-09-29a small wf and clause cleanuplcnr-36/+27
2023-09-29Auto merge of #115843 - lcnr:bb-provisional-cache, r=compiler-errorsbors-186/+64
2023-09-27fix clippy::{redundant_guards, useless_format}Matthias Krüger-1/+1
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-24Remove span from BrAnon.Camille GILLOT-8/+8
2023-09-24Remove dead code.Camille GILLOT-66/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-85/+21
2023-09-23Enable drop_tracking_mir by default.Camille GILLOT-147/+44
2023-09-23Fold lifetimes before substitution.Camille GILLOT-14/+14
2023-09-23Check types live across yields in generators tooMichael Goulet-0/+7
2023-09-23Check that closure's by-value captures are sizedMichael Goulet-0/+11
2023-09-22Auto merge of #115920 - Zoxc:depkind-u16, r=cjgillotbors-4/+5
2023-09-21Auto merge of #115897 - eduardosm:check-fn-sig, r=compiler-errorsbors-0/+1
2023-09-21Suggest desugaring to RPITIT when AFIT is required to be an auto traitMichael Goulet-0/+137
2023-09-21Record asyncness span in HIRMichael Goulet-2/+4
2023-09-21Move `DepKind` to `rustc_query_system` and define it as `u16`John Kåre Alsaker-4/+5
2023-09-21reviewlcnr-78/+75
2023-09-21wlcnr-1/+1
2023-09-21slight refactor, add commentlcnr-11/+20
2023-09-21HACK: avoid hang in structurally_normalizelcnr-3/+9
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-212/+698
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-5/+7