about summary refs log tree commit diff
path: root/tests/ui/coherence
AgeCommit message (Expand)AuthorLines
2024-02-17move ty var instantiation into the generalize modulelcnr-8/+8
2024-02-16Use fulfillment in next trait solver coherenceMichael Goulet-0/+56
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-196/+196
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-6/+31
2024-02-09Avoid accessing the HIR in the happy path of `coherent_trait`Oli Scherer-12/+12
2024-02-08Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebankbors-13/+128
2024-02-07Update testsr0cky-1/+1
2024-02-05Stop bailing out from compilation just because there were incoherent traitsOli Scherer-13/+128
2024-01-08Make inductive cycles in coherence ambiguous alwaysMichael Goulet-45/+8
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-8/+8
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-8/+8
2023-12-14update use of feature flagslcnr-8/+8
2023-12-10remove redundant importssurechen-4/+0
2023-12-05Continue folding if deep normalizer failsMichael Goulet-18/+17
2023-12-05Add deeply_normalize_for_diagnostics, use it in coherenceMichael Goulet-0/+50
2023-12-04rebaselcnr-11/+11
2023-12-04cleanup and commentslcnr-0/+144
2023-11-24Show number in error message even for one errorNilstrieb-70/+70
2023-11-20Don't require intercrate mode for negative coherenceMichael Goulet-38/+3
2023-11-20Don't drop region constraints that come from plugging infer regions with plac...Michael Goulet-2/+6
2023-11-19Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjayMichael Goulet-0/+25
2023-11-19Ignore but do not assume region obligations from unifying headers in negative...Michael Goulet-0/+44
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-0/+25
2023-10-26Auto merge of #112875 - compiler-errors:negative-coherence-rework, r=lcnrbors-16/+89
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-2/+12
2023-10-23nitsMichael Goulet-0/+12
2023-10-23coherence doesn't like region constraintsMichael Goulet-3/+37
2023-10-23Consider regionsMichael Goulet-0/+35
2023-10-23Make things work by using the new solverMichael Goulet-14/+6
2023-10-20Rename lots of files that had `generator` in their nameOli Scherer-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-7/+7
2023-10-18Bump COINDUCTIVE_OVERLAP_IN_COHERENCEMichael Goulet-0/+25
2023-10-09Extend impl's def_span to include where clausesMichael Goulet-19/+36
2023-09-21update testslcnr-7/+107
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+5
2023-08-30Don't record spans for predicates in coherenceMichael Goulet-3/+1
2023-08-15more nitsMichael Goulet-3/+4
2023-08-15nitsMichael Goulet-1/+1
2023-08-15Implement lint against coinductive impl overlapMichael Goulet-0/+57
2023-07-18moved note as unspanned note, moved note to the bottom of the msgnxya-5/+1
2023-07-18added links as a notenxya-1/+1
2023-07-18add links to query documentation for E0391nxya-1/+1
2023-07-18added links as a notenxya-1/+6
2023-07-18add links to query documentation for E0391nxya-1/+1
2023-07-16Don't call predicate_must_hold during fulfillment in intercrateMichael Goulet-0/+36
2023-05-30remove unused revisionlcnr-17/+1
2023-04-26add known-bug test for unsound issue 74629whtahy-0/+41
2023-04-22add known-bug test for unsound issue 57893whtahy-0/+25
2023-04-12Special-case item attributes in the suggestion outputEsteban Küber-2/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 18:20:31 +0000