None of the generated attributes are recognized with `mypy`, leading to mypy errors like ``` error: "Recording" has no attribute "device_names" [attr-defined] ```
None of the generated attributes are recognized with
mypy, leading to mypy errors like