SG
Semyon Grigorev
Первый вариат как раз без юнита. Там из инта в инт.
Кстати, let getter' = (^t : (member Get : _ -> int) (x, y)) тоже работает.
Кстати, let getter' = (^t : (member Get : _ -> int) (x, y)) тоже работает.
Ну и
let inline getter2 (x : ^t) =
let getter' = (^t : (member Get : _ -> int) (x, ()))
getter'
тоже. Вывод — не лезь со своими подсказками, компилятор умный, сам справится.
let inline getter2 (x : ^t) =
let getter' = (^t : (member Get : _ -> int) (x, ()))
getter'
тоже. Вывод — не лезь со своими подсказками, компилятор умный, сам справится.