rustdoc should support submitting code to play.rust-lang.org

[alexcrichton]

There should be a button on code snippets to submit them to http://play.rust-lang.org/ and have them run.

I don't think that the code snippets should be live-editable in rustdoc like the one on the website.

Note that the repository is located here: https://github.com/rust-lang/rust-playpen

[SiegeLord]

How will this work for non-rust-lang.org hosted documentation? Is this opt-in or opt-out? Is that decision made on a per-crate, per-module or per-snippet basis?

It seems like that for vast majority of 3rd party documentation this feature would not produce useful results, although at the same time, an interested party with sufficient resources could host their own rust interpreter with the necessary crates pre-installed.

[alexcrichton]

Ah that is a good point, it sounds like if this is done then it should be an opt-in basis per crate.