The semantics of a pointer parameter with the byval attribute depend on
the pointee type. In a world with opaque pointer types we need to
record this type (or, at least its size and alignment) explicitly.
It is yet to be decided whether this is the right approach. Discussion
will be continued on llvm-dev in parallel.
Depends on D16515.