да потомоучто если геттеры - синтаксический сахар, тогда покажи код IL, по которому это видно, там какие-либо другие функции, кроме вызова функции геттера. никакой это не сахар, геттеры это функции, пиши в них что хочешь, а синтаксический сахар - это то, что ты не можешь изменить, например, using —> try finally, понятно?
Попробуй скомпилить код, в котором в классе есть Свойство "X", с 2-мя методами, и сигнатурой: "get_X()" и "set_X()"