about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2023-12-14update use of feature flagslcnr-11/+11
2023-12-13Tweak `short_ty_string` to reduce number of filesEsteban Küber-2/+2
2023-12-12Rollup merge of #117914 - estebank:issue-85843, r=wesleywiserMatthias Krüger-1/+1
2023-12-10Auto merge of #116952 - compiler-errors:lifetime_capture_rules_2024, r=TaKO8Kibors-6/+93
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-6/+6
2023-12-05Enable new capture rules by default on edition 2024Michael Goulet-9/+39
2023-12-05Add test for implicitly capturing late-bound var with new capture rulesMichael Goulet-0/+23
2023-12-05Add lifetime_capture_rules_2024Michael Goulet-6/+40
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-25Don't ICE when encountering placeholders in implied bounds computationMichael Goulet-0/+14
2023-11-24Manual find replace updatesNilstrieb-2/+2
2023-11-24Show number in error message even for one errorNilstrieb-110/+110
2023-11-20On borrow return type, suggest borrowing from arg or owned return typeEsteban Küber-1/+1
2023-11-20self ty infer ambiguity: add proof tree candlcnr-2/+0
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-15/+48
2023-11-15Auto merge of #117878 - gavinleroy:proper-depth-check, r=lcnrbors-0/+2
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-14Add guard checking for associated types before computing intercrate ambiguity...Gavin Gray-0/+2
2023-11-09update testslcnr-15/+48
2023-11-04fallback for `construct_generic_bound_failure`bohan-0/+25
2023-11-02Add all RPITITs when augmenting param-env with GAT bounds in check_type_boundsMichael Goulet-0/+11
2023-10-29On object safety error, mention new enum as alternativeEsteban Küber-0/+11
2023-10-29Auto merge of #116733 - compiler-errors:alias-liveness-but-this-time-sound, r...bors-0/+15
2023-10-27Rollup merge of #117241 - compiler-errors:auto-trait-leak-cycle, r=oli-obkMatthias Krüger-67/+3
2023-10-26Stash and cancel cycle errors for auto trait leakage in opaquesMichael Goulet-67/+3
2023-10-26Auto merge of #112875 - compiler-errors:negative-coherence-rework, r=lcnrbors-1/+1
2023-10-24Remove incomplete features from RPITIT/AFIT testsMichael Goulet-37/+19
2023-10-23Make things work by using the new solverMichael Goulet-1/+1
2023-10-23Let's see what those opaque types actually areMichael Goulet-1/+37
2023-10-23Handle ReErased in responses in new solverMichael Goulet-0/+15
2023-10-20Rename lots of files that had `generator` in their nameOli Scherer-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-22/+22
2023-10-20s/Generator/Coroutine/Oli Scherer-12/+12
2023-10-18Tweak wording of type errors involving type paramsEsteban Küber-4/+4
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-0/+52
2023-10-17Flesh out tests moreMichael Goulet-0/+15
2023-10-16Rollup merge of #116800 - compiler-errors:rpitit-gat-outlives, r=jackh726Guillaume Gomez-0/+41
2023-10-16Remove `DefiningAnchor::Bubble` from opaque wf checkMichael Goulet-40/+29
2023-10-16Fix outlives suggestion for GAT in RPITITMichael Goulet-0/+41
2023-10-14Rollup merge of #116730 - compiler-errors:unsoundness-tests-rpit, r=aliemjayMatthias Krüger-0/+134
2023-10-14Add some unsoundness tests for opaques capturing hidden regions not in substsMichael Goulet-0/+134
2023-10-14Rollup merge of #116689 - lcnr:auto-trait-hidden-ty-leak, r=compiler-errorsMatthias Krüger-1/+16
2023-10-13Test that RPITITs have RPIT scope and not impl-wide scopeMichael Goulet-0/+38
2023-10-13Stabilize AFIT and RPITITMichael Goulet-167/+99
2023-10-13explicitly handle auto trait leakage in coherencelcnr-1/+16
2023-10-11Rollup merge of #116219 - compiler-errors:relate-alias-ty-with-variance, r=lcnrMatthias Krüger-0/+14
2023-10-08remove trailing dotsAli MJ Al-Nasrawy-5/+5
2023-10-08always show and explain sub regionAli MJ Al-Nasrawy-2/+11
2023-10-06Auto merge of #114811 - estebank:impl-ambiguity, r=wesleywiserbors-20/+25
2023-10-05Rollup merge of #116428 - Alexendoo:note-duplicate-diagnostics, r=compiler-er...Matthias Krüger-0/+4