about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2024-06-26Auto merge of #120924 - xFrednet:rfc-2383-stabilization-party, r=Urgau,blyxyasbors-24/+7
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-4/+26
2024-06-26Rollup merge of #126968 - lqd:issue-126670, r=compiler-errorsMatthias Krüger-0/+39
2024-06-25delay bug in RPITIT refinement checking with resolution errorsRémy Rakic-0/+39
2024-06-25Rollup merge of #126746 - compiler-errors:no-rpitit, r=oli-obkMatthias Krüger-44/+138
2024-06-25RFC 2383: Stabilize `lint_reasons` :tada:xFrednet-24/+7
2024-06-25Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errorsbors-57/+326
2024-06-24Deny use<> for RPITITsMichael Goulet-45/+76
2024-06-21bless testsDeadbeef-1/+7
2024-06-20Add a test demonstrating that RPITITs cant use precise capturingMichael Goulet-0/+63
2024-06-20Rollup merge of #126620 - oli-obk:taint_errors, r=fee1-deadMatthias Krüger-0/+30
2024-06-19More testsOli Scherer-0/+184
2024-06-19Allow constraining opaque types during subtyping in the trait systemOli Scherer-72/+16
2024-06-19Add more testsOli Scherer-0/+80
2024-06-19Allow constraining opaque types during auto trait castingOli Scherer-31/+29
2024-06-19Add testsOli Scherer-0/+55
2024-06-19Allow constraining opaque types during unsizingOli Scherer-57/+9
2024-06-19Taint infcx when reporting errorsOli Scherer-0/+30
2024-06-17Delay a bug and mark precise_capturing as not incompleteMichael Goulet-228/+47
2024-06-17Detect duplicatesMichael Goulet-0/+39
2024-06-17Add tests for illegal use bound syntaxMichael Goulet-2/+119
2024-06-17Rework precise capturing syntaxMichael Goulet-124/+124
2024-06-17Make parse_seq_to_before_tokens take expected/nonexpected tokens, use in pars...Michael Goulet-10/+1
2024-06-16Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelixJacob Pratt-4/+4
2024-06-13Method resolution constrains hidden types instead of rejecting method candidatesOli Scherer-78/+20
2024-06-13Add some testsOli Scherer-0/+624
2024-06-12Rollup merge of #126337 - oli-obk:nested_gat_opaque, r=lcnrJubilee-0/+48
2024-06-12Rebase falloutMichael Goulet-2/+2
2024-06-12Add test for walking order dependent opaque type behaviourOli Scherer-0/+48
2024-06-12Spell out other trait diagnosticAlex Macleod-4/+4
2024-06-12Require any function with a tait in its signature to actually constrain a hid...Oli Scherer-78/+193
2024-06-11Also test under next solverOli Scherer-1/+14
2024-06-11Revert "When checking whether an impl applies, constrain hidden types of opaq...Oli Scherer-71/+37
2024-06-11Add regression testOli Scherer-0/+60
2024-06-04Add another test for hidden types capturing lifetimes that outlive but arent ...Michael Goulet-0/+53
2024-06-04Rollup merge of #125667 - oli-obk:taintify, r=TaKO8KiMichael Goulet-135/+23
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-2/+2
2024-05-29Stop proving outlives constraints on regions we already reported errors onOli Scherer-135/+23
2024-05-25Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errorsMatthias Krüger-32/+117
2024-05-24Add regression testsOli Scherer-0/+80
2024-05-23When checking whether an impl applies, constrain hidden types of opaque types.Oli Scherer-32/+26
2024-05-23Add more testsOli Scherer-0/+91
2024-05-20Inline get_node_fn_decl into get_fn_decl, simplify/explain logic in report_re...Michael Goulet-1/+3
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-3/+6
2024-05-13And finally add testsMichael Goulet-0/+133
2024-05-13Warn against redundant use<...>Michael Goulet-1/+71
2024-05-06borrowck: more eagerly prepopulate opaqueslcnr-0/+9
2024-04-28add test for ice future has no bound vars.Matthias Krüger-0/+29
2024-04-24Fix tests and blessGary Guo-4/+3
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-18/+22