Rust's Type System is Turing-Complete

(N.B. The word “fuck” appears multiple times in this post. I recommend that the reader temporarily not consider “fuck” as profanity, as it isn’t used that way here.) Not so long ago, a certain someone made a challenge on the Rust subreddit asserting that while everyone likes to say that Rust’s type system is Turing-complete, no one actually seems to have a proof anywhere. In response to that post,

[tanakh]

(´･_･`)

[vvakame]

何言ってるかよくわかんないけどわかる感じもしなかった

[Haaaa_N]

まあc++のテンプレートがチューリング完全なんだからrustもそらそうやろなあ