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