Это можно сделать, но, насколько я знаю, это не характерно для компиляторов.Проблема в том, что пользователи могут определять столько типов, сколько им нравится, и равенство любым способом, который им нравится, а с распределением кучи и тому подобным очень трудно доказать такую вещь.По сути, это можно сделать, но только в том случае, если ваша функция включает в себя прямые численные вычисления, что является редкостью и поэтому обычно не имеет большого значения.