about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2024-10-28Rollup merge of #132227 - compiler-errors:better-const-span, r=Nadrieril许杰友 Jieyou Xu (Joe)-8/+8
2024-10-28Rollup merge of #132086 - estebank:long-types, r=jieyouxu许杰友 Jieyou Xu (Joe)-0/+82
2024-10-27Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errorsMatthias Krüger-64/+58
2024-10-27Move an impl-Trait check from AST validation to AST loweringLeón Orell Valerian Liehr-64/+58
2024-10-26Pass constness with span into lower_poly_trait_refMichael Goulet-8/+8
2024-10-26Deny calls to non-`#[const_trait]` methods in MIR constckDeadbeef-4/+0
2024-10-25Tweak highlighting when trait is available for different typeEsteban Küber-2/+2
2024-10-25Add test for #132013Esteban Küber-0/+82
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+17
2024-10-19Rollup merge of #131795 - compiler-errors:expectation, r=NadrierilMatthias Krüger-10/+10
2024-10-19Make sure that outer opaques capture inner opaques's lifetimes even with prec...Michael Goulet-0/+37
2024-10-17Allow dropping dyn principalMichael Goulet-30/+4
2024-10-16Auto merge of #131797 - matthiaskrgr:rollup-lzpze2k, r=matthiaskrgrbors-0/+12
2024-10-16Stop inverting expectation in normalization errorsMichael Goulet-10/+10
2024-10-15Don't check unsize goal in MIR validation when opaques remainMichael Goulet-0/+12
2024-10-15Register a dummy candidate for failed structural normalization during candiat...Michael Goulet-50/+7
2024-10-15Be better at reporting alias errorsMichael Goulet-141/+75
2024-10-15Make sure the alias is actually rigidMichael Goulet-58/+166
2024-10-15stabilize `-Znext-solver=coherence`lcnr-14/+20
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