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