Infinite nested property lookup in flow

flow-path-function.js

//@flow

declare function deepSeq<P>(
  ...path: P
): $TupleMap<P, <T, Prop>(prop: Prop) => T => $ElementType<T, Prop>>

    
declare var pipe: $ComposeReverse

const target: 'target' = 'target'

const example = {
  foo: {
    bar: {
      value: {
        nested: target,
      }
    }
  }
}
    
const step1 = pipe(...deepSeq(
  'foo',
  'bar',
  'value'
))(example)

const step2 = pipe(...deepSeq(
  'nested'
))(step1)

;(step1: { nested: 'target' })

/*
 * $ExpectError
 * string literal `target`.
 * This type is incompatible with number
 */
;(step2: number)