This should also test that `@members` was set properly.