summary refs log tree commit diff
path: root/tests/ui/specialization
AgeCommit message (Expand)AuthorLines
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
2024-01-02Adjust compiler tests for unused_tuple_struct_fields -> dead_codeJake Goulding-2/+2
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-4/+4
2023-12-27Introduce `const Trait` (always-const trait bounds)León Orell Valerian Liehr-3/+3
2023-12-14update use of feature flagslcnr-2/+2
2023-12-10remove redundant importssurechen-1/+0
2023-11-24Show number in error message even for one errorNilstrieb-40/+40
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-1/+14
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
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-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
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