about summary refs log tree commit diff
path: root/tests/ui/coherence
AgeCommit message (Expand)AuthorLines
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
2023-04-12Tweak output for 'add line' suggestionEsteban Küber-2/+4
2023-03-08Rollup merge of #108884 - compiler-errors:tweak-illegal-copy-impl-message, r=...Matthias Krüger-5/+5
2023-03-08Suppress copy impl error when post-normalized type references errorsMichael Goulet-0/+25
2023-03-08may not => cannotMichael Goulet-5/+5
2023-03-06Bless the remaining ui testsMu42-4/+36
2023-02-13Tighter spans for bad inherent impl typesMichael Goulet-4/+4
2023-02-03Disallow impl autotrait for trait objectDavid Tolnay-26/+104
2023-01-19Don't treat closures from other crates as localOli Scherer-2/+8
2023-01-12Point at impl self type for impl wf obligationsMichael Goulet-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 16:57:52 +0000