Add a regression test for an unconstrained TransmuteFrom ICE#157366
Add a regression test for an unconstrained TransmuteFrom ICE#157366johnproblems wants to merge 1 commit into
Conversation
|
Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @nikomatsakis (or someone else) some time within the next two weeks. Please see the contribution instructions for more information. Namely, in order to ensure the minimum review times lag, PR authors and assigned reviewers should ensure that the review label (
Why was this reviewer chosen?The reviewer was selected based on:
|
This comment has been minimized.
This comment has been minimized.
f72a5de to
9eba2a4
Compare
An unconstrained `TransmuteFrom` obligation used to ICE with `layout_of: unexpected type` under the next-gen trait solver; it now reports `type annotations needed` (E0283). Add a regression test for that case, which the fix's own test suite did not cover.
9eba2a4 to
8e7be34
Compare
|
Thanks for catching that — you're right. I'd only checked that the original |
|
Good, and please also change the PR title and description. |
#151314: calling a function with an unconstrained
TransmuteFromobligation used to ICE withlayout_of: unexpected typeunder the next-gen trait solver. It now reportstype annotations needed(E0283) as expected. Fixed in #154991, but the issue was labelledE-needs-testand lacked a regression test, so this adds the original reproducer so it can't silently regress.Closes #151314