about summary refs log tree commit diff
path: root/tests/ui/specialization
AgeCommit message (Expand)AuthorLines
2025-01-27Remove all dead files inside tests/ui/León Orell Valerian Liehr-72/+0
2025-01-06Normalize each signature input/output in typeck_with_fallback with its own spanMichael Goulet-6/+3
2024-12-15Auto merge of #134258 - bjorn3:no_public_specialization, r=petrochenkovbors-4/+14
2024-12-13Update testbjorn3-4/+14
2024-12-12Tweak multispan renderingEsteban Küber-4/+1
2024-12-10Tweak wording of non-const traits used as const boundsEsteban Küber-6/+21
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-5/+5
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-7/+7
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-7/+7
2024-11-22Rollup merge of #132090 - compiler-errors:baily, r=lcnrMichael Goulet-13/+2
2024-11-22Simplify fulfill_implicationMichael Goulet-10/+2
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-13/+2
2024-11-03Gate checking ~const bounds on const_trait_implMichael Goulet-50/+1
2024-11-02NFC add known bug nr to testMatthias Krüger-1/+1
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-4/+4
2024-10-26Pass constness with span into lower_poly_trait_refMichael Goulet-12/+12
2024-10-24Implement const effect predicate in new solverMichael Goulet-45/+17
2024-10-15rebase and update fixed `crashes`lcnr-0/+86
2024-10-15stabilize `-Znext-solver=coherence`lcnr-22/+74
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:26:57 +0000