summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2024-10-11Don't assume traits used as type are trait objsVulnBandit-13/+5
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-71/+72
2024-10-10Clarify implicit captures for RPITITMichael Goulet-2/+2
2024-10-10Add variances to RPITITsMichael Goulet-162/+177
2024-10-10Add gate for precise capturing in traitsMichael Goulet-0/+18
2024-10-10Move ty::Error branch into super_combine_tysMichael Goulet-61/+5
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-71/+72
2024-10-04Bless ui tests.Camille GILLOT-76/+79
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-14/+14
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-14/+14
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-50/+39
2024-09-22Don't call const normalize in error reportingMichael Goulet-2/+2
2024-09-17Rollup merge of #130440 - compiler-errors:rpitit-opaque-hidden, r=jieyouxuMatthias Krüger-0/+16
2024-09-17Auto merge of #129073 - compiler-errors:receiver-variance, r=lcnrbors-11/+44
2024-09-16Auto merge of #130439 - matthiaskrgr:rollup-1lkzo74, r=matthiaskrgrbors-0/+58
2024-09-16Don't ICE in opaque_hidden_inferred_bound lint for RPITIT in trait with no de...Michael Goulet-0/+16
2024-09-16Don't ICE when RPITIT captures more method args than trait definitionMichael Goulet-0/+58
2024-09-16Introduce distinct error codes for precise capturingMichael Goulet-5/+5
2024-09-16Do precise capturing arg validation in resolveMichael Goulet-13/+22
2024-09-16Relate receiver invariantly in method probe for Mode::PathMichael Goulet-11/+44
2024-09-15also stabilize const_refs_to_cellRalf Jung-5/+4
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-20/+14
2024-09-06Auto merge of #121848 - lcnr:stabilize-next-solver, r=compiler-errorsbors-14/+20
2024-09-05Don't worry about uncaptured contravariant lifetimes if they outlive a captur...Michael Goulet-0/+15
2024-09-05stabilize `-Znext-solver=coherence`lcnr-14/+20
2024-08-31elided_named_lifetimes: bless & add testsPavel Grigorenko-5/+34
2024-08-26Rollup merge of #129600 - traviscross:TC/tie-impl_trait_overcaptures-to-rust-...Matthias Krüger-6/+22
2024-08-26Tie `impl_trait_overcaptures` lint to Rust 2024Travis Cross-6/+22
2024-08-24Rollup merge of #129429 - cjgillot:named-variance, r=compiler-errorsTrevor Gross-34/+36
2024-08-23Print the generic parameter along with the variance in dumps.Camille GILLOT-34/+36
2024-08-22Don't trigger refinement lint if predicates reference errorsMichael Goulet-19/+24
2024-08-17Bless test falloutMichael Goulet-50/+42
2024-08-17Stabilize opaque type precise capturingMichael Goulet-103/+67
2024-08-13Use the right type when coercing fn items to pointersMichael Goulet-2/+2
2024-08-10Differentiate between methods and associated functionsEsteban Küber-2/+2
2024-08-06Don't arbitrarily choose one upper bound for hidden captured regionMichael Goulet-14/+46
2024-08-05Rollup merge of #127655 - RalfJung:invalid_type_param_default, r=compiler-errorsMatthias Krüger-0/+22
2024-08-03Revert "Rollup merge of #127107 - mu001999-contrib:dead/enhance-2, r=pnkfelix"Michael Goulet-8/+4
2024-07-25Rollup merge of #127054 - compiler-errors:bound-ordering, r=fmeaseMatthias Krüger-5/+5
2024-07-24Rollup merge of #122192 - oli-obk:type_of_opaque_for_const_checks, r=lcnrMatthias Krüger-62/+162
2024-07-24Do not assemble candidates for auto traits of opaque types in their defining ...Oli Scherer-43/+63
2024-07-24Add regression testsOli Scherer-0/+88
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-64/+7
2024-07-24Add regression testOli Scherer-0/+49
2024-07-22Revert suggestion verbosity changeEsteban Küber-24/+12
2024-07-22On generic and lifetime removal suggestion, do not leave behind stray `,`Esteban Küber-1/+1
2024-07-22Change suggestion message wordingEsteban Küber-4/+4
2024-07-22Use verbose suggestion for "wrong # of generics"Esteban Küber-12/+24
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-2/+2
2024-07-19More accurate suggestion for `-> Box<dyn Trait>` or `-> impl Trait`Esteban Küber-35/+21