I actually think this is a bug in either Android OS / Google Play store or the mobile device management solution deployed by her company.
The mode of enrollment is most likely "work profile on a company-owned device", meaning that the device is marked as managed by the company but there's a...