about summary refs log tree commit diff
path: root/tests/ui/specialization
AgeCommit message (Expand)AuthorLines
2024-05-31Stop using translate_args in the new solverMichael Goulet-0/+89
2024-05-31Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnrMatthias Krüger-36/+7
2024-05-31Avoid unwrap diag.code directlyr0cky-0/+55
2024-05-30Don't drop Upcast candidate in intercrate modeMichael Goulet-0/+24
2024-05-30Fold item bound before checking that they holdMichael Goulet-36/+7
2024-05-29Partially implement `ConstArgHasType`Boxy-29/+10
2024-05-24Fail relating constants of different typesOli Scherer-10/+29
2024-04-30fix `NormalizesTo` proof tree issuelcnr-2/+59
2024-04-16Fail candidate assembly for erroneous typesGurinder Singh-2/+13
2024-04-04Specialization already rejects defining opaque typesOli Scherer-0/+71
2024-03-31Always make inductive cycles as ambig during typeckMichael Goulet-24/+33
2024-03-25Rollup merge of #122988 - matthiaskrgr:icetests, r=petrochenkovMatthias Krüger-0/+36
2024-03-25Auto merge of #122802 - estebank:unconstrained-generic-const, r=Nadrierilbors-1/+4
2024-03-24add test for ICE: min_specialization: Ok(['?0, Const { ty: usize, kind: Leaf...Matthias Krüger-0/+36
2024-03-23add test for #107228Matthias Krüger-0/+28
2024-03-21Provide structured suggestion for unconstrained generic constantEsteban Küber-1/+4
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-4/+16
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-60/+60
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-4/+32
2024-02-13Do not assemble candidates for default implsMichael Goulet-40/+37
2024-02-10Allow restricted trait impls in macros with `min_specialization`Zalathar-1/+8
2024-02-08Continue to borrowck even if there were previous errorsOli Scherer-1/+29
2024-02-08Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebankbors-9/+16
2024-02-07Update testsr0cky-6/+6
2024-02-05Stop bailing out from compilation just because there were incoherent traitsOli Scherer-9/+16
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-3/+3
2024-01-30Rollup merge of #120400 - estebank:bound-error-cleanup, r=oli-obkGuillaume Gomez-4/+1
2024-01-26Use single label for method not found due to unmet boundEsteban Küber-4/+1
2024-01-23Remove track_errors entirelyOli Scherer-21/+2
2024-01-22Make generic const type mismatches not hide trait impls from the trait solverOli Scherer-4/+20
2024-01-20Auto merge of #119821 - oli-obk:reveal_all_const_evals, r=lcnrbors-0/+69
2024-01-19Always use RevealAll for const eval queriesOli Scherer-0/+69
2024-01-15Rollup merge of #119963 - clubby789:spec-allow-internal-unstable, r=compiler-...Matthias Krüger-0/+18
2024-01-14Fix `allow_internal_unstable` for `(min_)specialization`clubby789-0/+18
2024-01-13Bless testsGeorge-lewis-0/+2
2024-01-05Auto merge of #118297 - shepmaster:warn-dead-tuple-fields, r=WaffleLapkinbors-2/+2
2024-01-02Adjust compiler tests for unused_tuple_struct_fields -> dead_codeJake Goulding-2/+2
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-4/+4
2023-12-27Introduce `const Trait` (always-const trait bounds)León Orell Valerian Liehr-3/+3
2023-12-14update use of feature flagslcnr-2/+2
2023-12-10remove redundant importssurechen-1/+0
2023-11-24Show number in error message even for one errorNilstrieb-40/+40
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-1/+14
2023-10-09Extend impl's def_span to include where clausesMichael Goulet-4/+6
2023-09-23Tweak expected message to explain what it's actually signifyingMichael Goulet-1/+1
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+5
2023-06-28Adjust inner span of implicit self ref argumentMichael Goulet-2/+2
2023-06-06bless coherence testMichael Goulet-2/+31
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-0/+187
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-0/+77