@sfackler ... I don't understand how what you have there is different to the code as it stands.

(Also, I'm fairly sure you don't have to `use SeedInput`.)

@alexcrichton yeah, it's unfortunate :(