I figured this would be a better way to start collecting designs than just comments in a thread, so I'll go ahead and merge this sooner. That way we at least start getting a somewhat consistent picture of the various proposed designs, and we can always choose to update this later on.
This checks in the base template outlined in https://github.com/rust-lang/keyword-generics-initiative/issues/10#issuecomment-1445253191, and includes the design we proposed in the progress report.
I figured this would be a better way to start collecting designs than just comments in a thread, so I'll go ahead and merge this sooner. That way we at least start getting a somewhat consistent picture of the various proposed designs, and we can always choose to update this later on.