about summary refs log tree commit diff
path: root/tests/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2024-11-06Add --diagnostic-width to some tests failing after 1a0c5021838Hans Wennborg-4/+5
2024-11-02Auto merge of #132147 - estebank:long-types-2, r=davidtwcobors-21/+51
2024-11-02Point at tail expression on rpit E0277Esteban Küber-15/+38
2024-11-02Add trait diff highlighting logic and use it in E0277Esteban Küber-18/+25
2024-11-01Use more minimized test.Camille GILLOT-38/+6
2024-11-01Account for late-bound depth when capturing all opaque lifetimes.Camille GILLOT-0/+45
2024-10-31Rollup merge of #132209 - compiler-errors:modifiers, r=fmeaseJubilee-25/+9
2024-10-31Auto merge of #131186 - compiler-errors:precise-capturing-borrowck, r=estebankbors-0/+521
2024-10-31Try to point out when edition 2024 lifetime capture rules cause borrowck issuesMichael Goulet-0/+521
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-0/+13
2024-10-30Actually do validation for poly trait refs with ? modifierMichael Goulet-25/+9
2024-10-30Make sure type_param_predicates resolves correctly for RPITITMichael Goulet-0/+13
2024-10-30Actually capture all in-scope lifetimes.Camille GILLOT-5/+14
2024-10-30Promote crashes tests to ui.Camille GILLOT-0/+48
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-20/+11
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-15/+15
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