It is used to check the consistency between the BufferArg type argument
received by Function and the original type argument.