about summary refs log tree commit diff
path: root/tests/ui/coherence
AgeCommit message (Expand)AuthorLines
2024-05-30update UI testslcnr-12/+12
2024-05-29Partially implement `ConstArgHasType`Boxy-2/+13
2024-05-28eagerly normalize when adding goalslcnr-2/+2
2024-05-24Use regular type equating instead of a custom queryOli Scherer-0/+27
2024-05-20Move 100 entries from tests/ui into subdirsJubilee Young-0/+27
2024-05-18Fix typos (taking into account review comments)blyxyas-1/+1
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-1/+1
2024-04-30Auto merge of #117164 - fmease:orphan-norm, r=lcnrbors-0/+593
2024-04-30Normalize trait ref before orphan check & consider ty params in alias types t...León Orell Valerian Liehr-0/+593
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-1/+2
2024-04-09Silence some follow-up errors on trait impls in case the trait has conflictin...Oli Scherer-53/+7
2024-04-05Rollup merge of #122894 - compiler-errors:downgrade, r=lcnrGuillaume Gomez-0/+60
2024-03-28Restrict const ty's regions to static when putting them in canonical var listMichael Goulet-0/+34
2024-03-22Move check for error in impl header outside of reportingMichael Goulet-0/+60
2024-03-18update region debug formattingBoxy-12/+12
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 05:26:56 +0000