RFC to require `impl MyStruct` to be in the same module as the definition of `MyStruct`

This fixes #15060 and #3785.