Test case for borrowk ICE #25579

[imjacobclark]

r? @nikomatsakis

Fixes #25579

[rust-highfive]

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) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. Due to the way GitHub handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

[oli-obk]

style guide says the { needs to be on the previous line

[nikomatsakis]

Hmm. I don't agree with this in particular -- we follow various conventions in the compiler :) -- but also this is a test case, where the conventions are looser still, particularly since this is a regression test.

That said, I don't see any harm in reformatting either.

[imjacobclark]

I have reformatted the code above, I think it makes sense to have it indented 4 spaces and the brace on the same line as the if statment, consistent with the rest of the file anyway.

I need to resolve the failed build then hopefully this should be good to go.

[nikomatsakis]

@bors r+ rollup

[bors]

📌 Commit 4c5f3a6 has been approved by nikomatsakis