Whether path is the path of a field (PATTERN).
The field of path, typed as holding T: what a generated constant is.