about summary refs log tree commit diff
path: root/tests/ui/specialization/min_specialization
AgeCommit message (Expand)AuthorLines
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-6/+6
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-0/+2
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-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-4/+4
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-4/+4
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-4/+4
2024-11-22Simplify fulfill_implicationMichael Goulet-10/+2
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-4/+4
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-12/+3
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-3/+12
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-12/+3
2024-05-29Partially implement `ConstArgHasType`Boxy-29/+10
2024-05-24Fail relating constants of different typesOli Scherer-10/+29
2024-04-04Specialization already rejects defining opaque typesOli Scherer-0/+71
2024-03-24add test for ICE: min_specialization: Ok(['?0, Const { ty: usize, kind: Leaf...Matthias Krüger-0/+36
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-10/+10
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-4/+32
2024-02-10Allow restricted trait impls in macros with `min_specialization`Zalathar-0/+25
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-3/+3
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-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-4/+4
2023-11-24Show number in error message even for one errorNilstrieb-12/+12
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-1/+14
2023-06-28Adjust inner span of implicit self ref argumentMichael Goulet-2/+2
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-0/+77
2023-05-05Normalize consistently for specializationsMatthew Jasper-0/+82
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-0/+28
2023-03-23Note type mismatch on ConstArgHasTypeMichael Goulet-1/+1
2023-03-19Delay overlap errors if errors are involvedMichael Goulet-7/+10
2023-03-19Constrain const vars to error if const types are mismatchedMichael Goulet-4/+4
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-0/+23
2023-01-12Point at HIR types when impl trait ref doesn't normalizeMichael Goulet-2/+2
2023-01-11Move /src/test to /testsAlbert Larsan-0/+546
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 15:49:32 +0000