Нет, потому что это сломает ссылочную прозрачность . Результаты вызова метода с одним и тем же вводом несколько раз должны быть неотличимы, и должно быть возможно его прозрачно заменить вызовом метода с этим вводом один раз, а затем повторно использовать результат. Однако вызов метода, который возвращает некоторую структуру несколько раз, может каждый раз создавать новую копию структуры - структуры с различной «личностью». Если бы вы могли как-то сказать, что у них разные идентификаторы, тогда это нарушает ссылочную прозрачность.