RecordStubGenerator properly generates stubs for records with RequireQualifiedAccess attribute