Господа, возник такой вопрос.
1) Если у метода есть параметр размерного типа (struct), то при вызове метода туда передается копия значения, так?
2) У экземплярных методов this является неявным первым параметром.
Выходит, что при вызове экземплярного метода у размерного типа this будет иметь размерный тип, и внутрь метода будет передаваться его копия. Значит, если такой метод будет модифицировать поля у this, то эти изменения не должны быть видны после выхода из метода.