@nikomatsakis might want to jump in here -- he first suggested allowing `impl Trait` in `struct`s, but I'm not sure if he had a concrete use-case in mind.