Is there any proof of this? I think one of the replies on the original thread is wise:
Maybe take hearsay from an anonymous Internet catgirl with a grain of salt.
The following comment is literally:
whitequark would be pretty well known to an old Rust team member such as matklad, having been one themself, so no, not anonymous…
But yeah, no one has named dtolnay outside of this thread. Now that the name has been dropped, let’s hold off for something more substantial before we take our pitchforks.
Apparently others are privately confirming the story: https://pony.social/@thephd/111002711663875270