about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
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-03Make non-zero check more obviousMaybe Waffle-1/+1
2023-10-03Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwcoMatthias Krüger-31/+23
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-31/+23
2023-09-27fix clippy::{redundant_guards, useless_format}Matthias Krüger-1/+1
2023-09-24Remove span from BrAnon.Camille GILLOT-4/+5
2023-09-24Remove dead code.Camille GILLOT-66/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-65/+13
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-2/+3
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-2/+3
2023-09-21reviewlcnr-78/+75
2023-09-21HACK: avoid hang in structurally_normalizelcnr-3/+9
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-92/+239
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-1/+1
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-0/+1
2023-09-19Explain HRTB + infer limitations of old solverMichael Goulet-0/+75
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-29/+32
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-2/+2
2023-09-17Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compi...bors-25/+84
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-29/+32
2023-09-13make the set of methods between our two Const types more consistentRalf Jung-1/+1
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-4/+4
2023-09-12`#[diagnostic::on_unimplemented]` without filtersGeorg Semmler-25/+84
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-4/+42
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-4/+42
2023-09-11Rollup merge of #115743 - compiler-errors:no-impls, r=davidtwcoMatthias Krüger-5/+19
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-1/+1
2023-09-10Point out if a local trait has no implementationsMichael Goulet-5/+19
2023-09-07Don't suggest dereferencing to unsized typeMichael Goulet-1/+14