This is necessary for correctness of the code to avoid duplicate symbols. In practice, this wasn't necessary yet, because usually we pass lambdas into these functions which cause every instantiation to have a different signature.
This is necessary for correctness of the code to avoid duplicate symbols. In practice, this wasn't necessary yet, because usually we pass lambdas into these functions which cause every instantiation to have a different signature.