def later_f_path
import bend-schema-lib@0.4.1.0/core.bend as Coreimport Base
751# An error found in a later field is one field further.
752def later_f_path(p: List<&2, Step>) -> List<&2, Step>:
753 match p:
754 case AtField{k, n} <> q:
755 AtField{1n+k, n} <> q
756 case q:
757 q