summary refs log tree commit diff
path: root/tests/ui/specialization
AgeCommit message (Expand)AuthorLines
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-4/+4
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-1/+1
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-26/+4
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-160/+22
2024-09-05rebase and update fixed `crashes`lcnr-0/+86
2024-09-05stabilize `-Znext-solver=coherence`lcnr-22/+74
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-4/+26
2024-08-10Differentiate between methods and associated functionsEsteban Küber-5/+5
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-26/+4
2024-06-28bless tests part 1Deadbeef-2/+66
2024-06-19Const generic parameters aren't bounds, even if we end up erroring because of...Oli Scherer-2/+2
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-1/+1
2024-06-07Failing testMichael Goulet-0/+43
2024-06-05Rollup merge of #125792 - compiler-errors:dont-drop-upcast-cand, r=lcnrMatthias Krüger-0/+24
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