The shape (esp. the size) of the result of a call to TRANSFER is implemented according to the definition in the standard. Differential Revision: https://reviews.llvm.org/D85866