summary refs log tree commit diff
path: root/tests/ui/higher-ranked
AgeCommit message (Expand)AuthorLines
2024-07-11instantiate higher ranked goals in candidate selectionlcnr-208/+94
2024-05-30update UI testslcnr-2/+2
2024-05-24drop region constraints for ambiguous goalslcnr-0/+104
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
2024-02-29Make nll higher ranked equate use bidirectional subtyping in invariant contextSantiago Pastorino-0/+60
2024-02-29Make infer higher ranked equate use bidirectional subtyping in invariant contextSantiago Pastorino-13/+22
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-1/+0
2024-02-26Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-0/+69
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-104/+104
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-56/+2
2024-02-08Continue to borrowck even if there were previous errorsOli Scherer-4/+47
2024-02-06Rollup merge of #120507 - estebank:issue-108428, r=davidtwcoMatthias Krüger-0/+12
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-3/+3
2024-01-30Account for non-overlapping unmet trait bounds in suggestionEsteban Küber-0/+12
2024-01-30Rollup merge of #120293 - estebank:issue-102629, r=nnethercoteGuillaume Gomez-4/+4
2024-01-26Use single label for method not found due to unmet boundEsteban Küber-8/+2
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-4/+4
2024-01-16borrowck: wf-check fn item argsAli MJ Al-Nasrawy-1/+11
2024-01-13Bless testsGeorge-lewis-0/+2
2024-01-09Auto merge of #118968 - aliemjay:canon-static, r=lcnrbors-2/+2
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-2/+2
2023-12-21Simple modification of diagnostic informationsurechen-22/+22
2023-12-17fix diagnostic regresssionAli MJ Al-Nasrawy-11/+5
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-7/+13
2023-12-15unify query canonicalization modeAli MJ Al-Nasrawy-2/+2
2023-12-14update use of feature flagslcnr-4/+4
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-6/+6
2023-12-05Add print_trait_sugaredMichael Goulet-8/+8
2023-11-24Manual find replace updatesNilstrieb-1/+1
2023-11-24Show number in error message even for one errorNilstrieb-21/+21
2023-11-16Auto merge of #116097 - jackh726:higher-ranked-lifetime-error-backup, r=compi...bors-0/+26
2023-11-02Pretty print Fn traits in rustc_on_unimplementedMichael Goulet-5/+5
2023-10-05Add a note to duplicate diagnosticsAlex Macleod-0/+2
2023-09-24Try to use approximate placeholder regions when outputting an AscribeUserType...Jack Huey-0/+26