rust/tests/ui/impl-trait/equality.rs, branch beta https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=beta 2025-04-30T07:44:24+00:00 compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30T07:44:24+00:00 Vadim Petrochenkov vadim.petrochenkov@gmail.com 2025-04-05T16:19:56+00:00 urn:sha1:20faf8532b5ddeb636ba3078344b0cad058c8f8a Revert "When checking whether an impl applies, constrain hidden types of opaque types." 2024-06-11T08:08:25+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2024-06-11T06:49:12+00:00 urn:sha1:6cca6da1265b9bede368f34da6be42057adc9834 This reverts commit 29a630eb72ffb94c3708947afae1e948ad3cb189. When checking whether an impl applies, constrain hidden types of opaque types. 2024-05-23T15:52:10+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2024-04-17T09:29:13+00:00 urn:sha1:29a630eb72ffb94c3708947afae1e948ad3cb189 We already handle this case this way on the coherence side, and it matches the new solver's behaviour. While there is some breakage around type-alias-impl-trait (see new "type annotations needed" in tests/ui/type-alias-impl-trait/issue-84660-unsoundness.rs), no stable code breaks, and no new stable code is accepted. Move /src/test to /tests 2023-01-11T09:32:08+00:00 Albert Larsan 74931857+albertlarsan68@users.noreply.github.com 2023-01-05T08:13:28+00:00 urn:sha1:cf2dff2b1e3fa55fa5415d524200070d0d7aacfe