Closed RalfJung closed 3 weeks ago
r? @Amanieu
rustbot has assigned @Amanieu. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r?
to explicitly pick a reviewer
Okay the try run here confirms that this will indeed work, so -- this should be good to go. :)
Should we wait until the rustc fix lands for #1661 or is the allow still needed?
That's an unrelated problem, it would pop up in any PR. Not sure if it should block this one.
The abi lint got backed out again anyway so it will be gone on the next nightly.
The new allow
should be unnecessary with today's nightly, so I removed them.
We shouldn't need these feature gates any more, that was just an attempt at a transition that didn't quite work out.