RequiredSetInSameFile {
    required i
} // error: we explicitly want required here, but it's not set