summary refs log tree commit diff
path: root/tests/ui/coherence
AgeCommit message (Expand)AuthorLines
2024-03-10Mark some next-solver-behavior tests explicitly with revisionsMichael Goulet-2/+15
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-2/+3
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-11/+11
2024-02-29Make infer higher ranked equate use bidirectional subtyping in invariant contextSantiago Pastorino-23/+29
2024-02-26update testslcnr-7/+3
2024-02-22Tweak wording of "implemented trait isn't imported" suggestionEsteban Küber-2/+2
2024-02-20some type system cleanuplcnr-16/+16
2024-02-20Rollup merge of #121308 - kadiwa4:test_103369, r=TaKO8KiNilstrieb-0/+53
2024-02-20Rollup merge of #120716 - spastorino:change-some-lint-msgs, r=lcnrNilstrieb-61/+31
2024-02-19Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwUbors-8/+8
2024-02-19Remove suspicious auto trait lintSantiago Pastorino-50/+20
2024-02-19regression test for #103369Kalle Wachsmuth-0/+53
2024-02-18Change leak check lint message to behavior is likely to change in the futureSantiago Pastorino-11/+11
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-02 08:22:56 +0000