(j3.2006) What happens here?

[Van Snyder]

Suppose I have a pointer with a deferred length parameter, say a
character pointer:

  character(len=:), pointer :: P

Suppose I associate it with a target that has a specified length:

  character(len=42), target :: C = 'The value of C'
  p => c

Where in the standard does it say what the value of the length parameter
of P becomes?  It's not in 7.2.2.3 "Data pointer assignment."

Should we have had a paragraph in 7.2.2.3 that says something like the
following?

        "If the pointer object has deferred length parameters, and the
        pointer object becomes associated with a target, the values of
        the deferred length parameters are assumed from the values of
        corresponding parameters of the target"

If this isn't actually said anywhere, do we need an interp?