RFC to require `impl MyStruct` to be nearby the definition of `MyStruct`

This fixes #15060 and #3785.