about summary refs log tree commit diff
path: root/tests/ui/specialization
AgeCommit message (Expand)AuthorLines
2025-08-27Add test batch 2Oneirical-0/+41
2025-08-11Tweak trait modifier errorsCameron Steffen-3/+3
2025-07-17parse `const trait Trait`Deadbeef-12/+12
2025-07-13Auto merge of #143357 - cjgillot:no-assoc-item-kind, r=compiler-errorsbors-2/+2
2025-07-13Remove hir::AssocItemKind.Camille GILLOT-2/+2
2025-07-11constify `From` and `Into`Oli Scherer-3/+15
2025-07-07Make `Default` const and add some `const Default` implsEsteban Küber-33/+35
2025-06-30Avoid looking at HIR for trait and impl itemsOli Scherer-2/+2
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-14/+14
2025-06-29Fix the span of trait bound modifier `[const]`León Orell Valerian Liehr-12/+12
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-34/+34
2025-06-06Treat normalizing consts like normalizing types in deeply normalizeMichael Goulet-0/+42
2025-04-25handle specialization in the new trait solverlcnr-6/+149
2025-04-03Use `cfg(false)` in UI testsclubby789-1/+1
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-0/+2
2025-03-04Ensure that negative auto impls are always applicableMichael Goulet-23/+41
2025-02-13adjust derive_errorlcnr-0/+62
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