about summary refs log tree commit diff
path: root/tests/ui/higher-ranked
AgeCommit message (Expand)AuthorLines
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
2024-06-11Remove DebugWithInfcxMichael Goulet-2/+2
2024-06-08tests: Add ui/higher-ranked/trait-bounds/normalize-generic-arg.rsMartin Nordholts-0/+39
2024-05-30update UI testslcnr-2/+2
2024-05-24drop region constraints for ambiguous goalslcnr-0/+104
2024-05-21Okay actually check only alias TYPESMichael Goulet-0/+20
2024-05-18Fix typos (taking into account review comments)blyxyas-1/+1
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-6/+41
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-1/+14
2024-04-03rebase oddityBoxy-40/+41
2024-04-03move leak check out of candidate evaluationlcnr-157/+765
2024-04-01Fix obligation param and bless testsMichael Goulet-61/+43
2024-04-01Instantiate closure-like bounds with placeholders to deal with binders correctlyMichael Goulet-0/+51
2024-03-25In `pretty_print_type()`, print `async fn` futures' paths instead of spans.Kevin Reid-1/+1
2024-03-23Add test in `higher-ranked`Luv-Ray-0/+44
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-77/+39
2024-03-11Revert "Auto merge of #122140 - oli-obk:track_errors13, r=davidtwco"Oli Scherer-13/+13
2024-03-11Auto merge of #122338 - workingjubilee:rollup-xzpt4v4, r=workingjubileebors-10/+37
2024-03-11Run a single huge `par_body_owners` instead of many small ones after each other.Oli Scherer-13/+13
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-10/+37
2024-03-01Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ...Matthias Krüger-1/+0
2024-03-01Rollup merge of #121475 - jieyouxu:tidy-stderr-check, r=the8472,compiler-errorsMatthias Krüger-79/+0
2024-02-29Remove stray stdout/stderr files许杰友 Jieyou Xu (Joe)-79/+0