summary refs log tree commit diff
path: root/tests/ui/higher-ranked
AgeCommit message (Expand)AuthorLines
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-5/+6
2025-03-06`TypeVerifier` do not walk into required constslcnr-1/+1
2025-03-04tests: remove explicit long type filename hash normalization from some ui tests许杰友 Jieyou Xu (Joe)-21/+15
2025-02-21More sophisticated span trimmingMichael Goulet-3/+2
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-2/+3
2025-02-02Rollup merge of #136414 - estebank:expected-return-type, r=oli-obkMatthias Krüger-2/+2
2025-02-02Rollup merge of #136328 - estebank:long-ty-path, r=jieyouxu,lqdMatthias Krüger-1/+1
2025-02-02Shorten error message for callable with wrong return typeEsteban Küber-2/+2
2025-01-31Rework "long type names" printing logicEsteban Küber-1/+1
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-2/+2
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-2/+2
2025-01-30Add closure labelsEsteban Küber-1/+1
2025-01-30When encountering unexpected closure return type, point at return type/expres...Esteban Küber-24/+19
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-20/+20
2025-01-27Remove all dead files inside tests/ui/León Orell Valerian Liehr-71/+0
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-2/+2
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-20/+20
2025-01-23Remove query normalize from normalize type opMichael Goulet-20/+20
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-10/+12
2024-12-27Remove the `-test` suffix from normalize directivesZalathar-3/+3
2024-12-18update new solver candidate assemblylcnr-12/+3
2024-12-10Adjust `anonymous-higher-ranked-lifetime.rs`Jieyou Xu-0/+270
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-1/+1
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-4/+4
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-4/+4
2024-12-04Avoid `opaque type not constrained` errors in the presence of other errorsOli Scherer-13/+4
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-13/+1
2024-11-26tests: remove `//@ pretty-expanded` usages许杰友 Jieyou Xu (Joe)-7/+0
2024-11-22Stabilize the 2024 editionEric Huss-1/+0
2024-11-12Make sure to ignore elided lifetimes when pointing at args for fulfillment er...Michael Goulet-2/+2
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-3/+3
2024-10-15Bless testsMichael Goulet-13/+22
2024-10-15update test descriptionlcnr-3/+3
2024-10-15stabilize `-Znext-solver=coherence`lcnr-23/+13
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-16/+26
2024-09-05update test descriptionlcnr-3/+3
2024-09-05stabilize `-Znext-solver=coherence`lcnr-23/+13
2024-08-13Use the right type when coercing fn items to pointersMichael Goulet-0/+10
2024-07-25Auto merge of #127042 - GrigorenkoPV:derivative, r=compiler-errorsbors-2/+2
2024-07-17Rollup merge of #127844 - chenyukang:yukang-fix-type-bound-127555, r=jieyouxuMatthias Krüger-20/+0
2024-07-17Remove invalid further restricting for type boundyukang-20/+0
2024-07-14Use ordinal number in argument errorlong-long-float-1/+1
2024-07-12rustc_type_ir: derivative -> derive-wherePavel Grigorenko-2/+2
2024-07-10instantiate higher ranked goals in candidate selectionlcnr-208/+94
2024-07-03Auto merge of #123737 - compiler-errors:alias-wf, r=lcnrbors-0/+20
2024-06-28Move binder and polarity parsing into parse_generic_ty_boundMichael Goulet-0/+30
2024-06-20Add opaque type testOli Scherer-5/+81
2024-06-19rustc_type_ir: Omit some struct fields from Debug outputLeón Orell Valerian Liehr-2/+2
2024-06-12Also passthrough for projection clausesMichael Goulet-2/+2