I'm trying to use destructed fields with inferred guards, however I'm not sure how to pass th