да потомоучто если геттеры - синтаксический сахар, тогда покажи код IL, по которому это видно, там какие-либо другие функции, кроме вызова функции геттера. никакой это не сахар, геттеры это функции, пиши в них что хочешь, а синтаксический сахар - это то, что ты не можешь изменить, например, using —> try finally, понятно?
Ровно наоборот, сахар это то что можно заменить на другую более длинную языковую конструкцию. finally нельзя заменить чем-то ещё, это базовая часть языка, а не синтаксический сахар