summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Expand)AuthorLines
2022-11-20Add testMichael Goulet-0/+47
2022-10-28Rollup merge of #103608 - compiler-errors:rpitit-early-lt, r=cjgillotMatthias Krüger-0/+23
2022-10-27Remap early bound lifetimes tooMichael Goulet-0/+23
2022-10-26No need to probe when relating opaques in nll_relateMichael Goulet-0/+24
2022-10-25Name impl trait in region bound suggestionMichael Goulet-16/+16
2022-10-24Delay span bug when we can't map lifetimes back in collect_trait_impl_trait_tysMichael Goulet-0/+37
2022-10-23Rollup merge of #103414 - compiler-errors:rpit-print-lt, r=cjgillotMichael Howell-2/+2
2022-10-23Rollup merge of #103368 - compiler-errors:normalization-ambiguity-bug, r=oli-obkMatthias Krüger-0/+135
2022-10-22Pretty print lifetimes captured by RPITMichael Goulet-2/+2
2022-10-21testsMichael Goulet-0/+135
2022-10-21Handle RPITITs properly in register_hidden_typeMichael Goulet-13/+50
2022-10-20Auto merge of #103205 - spastorino:fix-rpits-lifetime-remapping, r=cjgillotbors-0/+23
2022-10-20Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726bors-2/+6
2022-10-19Do anonymous lifetimes remapping correctly for nested rpitsSantiago Pastorino-0/+23
2022-10-18Clean up query descriptionsnils-4/+4
2022-10-15Fix subst issues with RPITITMichael Goulet-0/+18
2022-10-14Require lifetime bounds for opaque types in order to allow hidden types to ca...Oli Scherer-2/+6
2022-10-13Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errorsbors-4/+11
2022-10-12Add broken test for AFIT with RPITITMichael Goulet-0/+33
2022-10-07Unconditionally encode hidden types in typeck resultsOli Scherer-4/+11
2022-10-05Fix test for default body with implMichael Goulet-4/+10
2022-10-05Support default-body trait functions with RPITITMichael Goulet-0/+15
2022-10-04Rollup merge of #102648 - Rageking8:add-test-for-#102605, r=compiler-errorsMatthias Krüger-0/+56
2022-10-04Rollup merge of #102568 - compiler-errors:lint-unsatisfied-opaques, r=oli-obkDylan DPC-0/+108
2022-10-04add test for #102605Rageking8-0/+56
2022-10-02Avoid ICE in printing RPITIT typeMichael Goulet-0/+38
2022-10-02Make it a lint for all opaque typesMichael Goulet-0/+108
2022-10-01Auto merge of #101986 - WaffleLapkin:move_lint_note_to_the_bottom, r=estebankbors-6/+6
2022-10-01bless ui testsMaybe Waffle-6/+6
2022-09-30Auto merge of #102164 - compiler-errors:rpitit-foreign, r=TaKO8Kibors-0/+20
2022-09-26address reviewb-naber-5/+5
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-0/+64
2022-09-25Rollup merge of #102194 - fee1-dead-contrib:improve-const-drop, r=oli-obkfee1-dead-3/+3
2022-09-24Note the type when unable to drop values in compile timeDeadbeef-3/+3
2022-09-23Report diagnostics at the actually actionable siteOli Scherer-11/+38
2022-09-23Showcase a broken diagnosticOli Scherer-4/+4
2022-09-23Serialize RPITIT values in libsMichael Goulet-0/+20
2022-09-22Calculate ProjectionTy::trait_def_id correctlyMichael Goulet-0/+59
2022-09-21Improve diagnostic for adding more bounds to opaque typesOli Scherer-4/+6
2022-09-21Reproduce sad diagnosticOli Scherer-0/+35
2022-09-13Auto merge of #101086 - cjgillot:thir-param, r=oli-obkbors-0/+10
2022-09-13Simplify MIR building entry.Camille GILLOT-0/+10
2022-09-13Auto merge of #101615 - compiler-errors:rpitit-perf, r=oli-obkbors-10/+5
2022-09-12A SubstitutionPart is not a deletion if it replaces nothing with nothingMichael Goulet-3/+2
2022-09-12Rollup merge of #101681 - compiler-errors:rpitit-obj-safety, r=lcnrDylan DPC-0/+72
2022-09-12Rollup merge of #101676 - compiler-errors:rpitit-wf, r=lcnrDylan DPC-0/+49
2022-09-11Only encode RPITIT when trait method has default bodyMichael Goulet-0/+9
2022-09-11Deny RPITIT for object safetyMichael Goulet-0/+72
2022-09-11Check that the types in RPITITs are WFMichael Goulet-0/+49
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-10/+5