var (это означает, что тип определяется компилятором) x = y ?? (это проверка на null) 10.
Если y = null, то x = 10. Если y != null, x = y.
При этом важная штука - y должен быть либо ссылочным значением, либо Nullable. Т.е. y скорее всего объявляется как int? y.