about summary refs log tree commit diff
path: root/tests/ui/specialization
AgeCommit message (Collapse)AuthorLines
2023-12-14update use of feature flagslcnr-2/+2
2023-12-10remove redundant importssurechen-1/+0
detects redundant imports that can be eliminated. for #117772 : In order to facilitate review and modification, split the checking code and removing redundant imports code into two PR.
2023-11-24Show number in error message even for one errorNilstrieb-40/+40
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return ↵Oli Scherer-1/+14
`ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types`
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
Min specialization improvements - Don't allow specialization impls with no items, such implementations are probably not correct and only occur as mistakes in the compiler and standard library - Fix a missing normalization call - Adds spans for lifetime errors from overly general specializations Closes #79457 Closes #109815
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-0/+77
Add an obligation cause for these error so that the error points to the implementations that caused the error.
2023-05-05Normalize consistently for specializationsMatthew Jasper-0/+82
2023-05-05Disallow (min) specialization imps with no itemsMatthew Jasper-0/+28
Such implementations are usually mistakes and are not used in the compiler or standard library (after this commit) so forbid them with `min_specialization`.
2023-05-05remove unnecessary attribute from a diagnosticTakayuki Maeda-0/+22
2023-04-26add known-bug test for unsound issue 105782whtahy-0/+30
2023-04-26add known-bug test for unsound issue 40582whtahy-0/+35
2023-04-16fix library and rustdoc testsDeadbeef-1/+22
2023-04-12Tweak output for 'add line' suggestionEsteban Küber-1/+2
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-02-14Fetch less HIR in signature check.Camille GILLOT-17/+17
2023-01-30Modify primary span label for E0308Esteban Küber-2/+2
The previous output was unintuitive to users.
2023-01-12Only point at impl self ty in WF if trait predicate shares self tyMichael Goulet-2/+2
2023-01-12Point at impl self type for impl wf obligationsMichael Goulet-2/+2
2023-01-12Point at HIR types when impl trait ref doesn't normalizeMichael Goulet-2/+2
2023-01-11Note predicate span on ImplDerivedObligationMichael Goulet-1/+9
2023-01-11Move /src/test to /testsAlbert Larsan-0/+4009