JSXv4: First-class module prop can't be destrutured directly

[glennsl]

Repro

module type Comp = {
  @react.component
  let make: () => React.element
}

@react.component
let make = (~comp as module(Comp: Comp)) =>
  <Comp />

causes the error:

The module or file Comp can't be found.

This used to work with JSXv3.

ETA:

Actually doesn't need to be used as a component. Simpler repro:

module type T = {
  let render: unit => React.element
}

@react.component
let make = (~foo as module(T: T)) => T.render()

Workaround

Destructure the module outside the argument:

@react.component
let make = (~foo) => {
  module T = unpack(foo: T)
  T.render()
}

or

@react.component
let make = (~foo: module(T)) => {
  module T = unpack(foo)
  T.render()
}

(unfortunately neither of these work with locally abstract types, see #5978)

[mununki]

The current output:

let make = ({foo, _}: props<module(T)>) => T.render()

The expected generated output is going to be this:

let make = (props: props<module(T)>) => {
  module T = unpack(props.foo)
  T.render()
}

[cristianoc]

This looks like a pretty unusual case. Not sure it's worth handling the extra complexity in the PPX. Perhaps one could as well not support as in that format and give an error instead.
In any case, looks like this can be safely moved to compiler version v11.