Pre-RFC: returning automatically generating impl Trait

"This feature is okay because without it the code wouldn't have compiled" is not a universal argument. Sometimes you don't want the code to compile. The compiler's job is often to tell you that your code doesn't compile, rather than trying to find some meaning that allows compiling your code.