about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-10-18Auto merge of #116815 - Nilstrieb:more-funny-pretty-printers, r=compiler-errorsbors-16/+4
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-42/+4
2023-10-18Remove `#![feature(result_option_inspect)]` from the compilerSlanterns-1/+0
2023-10-17Rollup merge of #116717 - estebank:issue-9082, r=oli-obkMatthias Krüger-1/+126
2023-10-17Remove `Print::Error`Nilstrieb-6/+2
2023-10-17Remove `Print::Output`Nilstrieb-12/+4
2023-10-17Auto merge of #116826 - nnethercote:fix-116780-116797, r=compiler-errorsbors-4/+4
2023-10-17Fix a performance regression in obligation deduplication.Nicholas Nethercote-4/+4
2023-10-16Rollup merge of #116805 - Nilstrieb:onunimplemented-std-core-alloc-whatever-w...Guillaume Gomez-4/+7
2023-10-16address review commentEsteban Küber-90/+125
2023-10-16Make `rustc_onunimplemented` export path agnosticNilstrieb-4/+7
2023-10-16Rollup merge of #116257 - estebank:issue-101351, r=b-naberMatthias Krüger-1/+1
2023-10-16Rollup merge of #115196 - chenyukang:yukang-fix-86094, r=estebankMatthias Krüger-4/+4
2023-10-15Suggest adding `return` if the type of unused semi return value can coerce to...yukang-4/+4
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-139/+182
2023-10-14Special case iterator chain checks for suggestionEsteban Küber-1/+91
2023-10-13Suggest trait bounds for used associated type on type paramEsteban Küber-1/+1
2023-10-13explicitly handle auto trait leakage in coherencelcnr-16/+22
2023-10-13Format all the let chains in compilerMichael Goulet-139/+182
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-09Move predicate error early check to its own methodEsteban Küber-14/+23
2023-10-09Remove need for `has_errors()` checkEsteban Küber-7/+12
2023-10-09Only emit one error per unsized binding, instead of one per usageEsteban Küber-0/+19
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-03Make non-zero check more obviousMaybe Waffle-1/+1
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