How to check if a function's type parameters are statically resolved?
问题 very simple examples: let myfun x = x Here in the intellisense it says "x: 'a -> 'a". In the FSI it says "x: 'a -> 'a" let inline myfun x = x Here in the intellisense it says "x: 'a -> 'a". In the FSI it says "x: 'a -> 'a" <<<< why not ^a ? let inline myfun (x: 'b) = x Here in the intellisense it says "x: 'b -> 'b". In the FSI it says "x: 'b -> 'b" let inline myfun (x: ^b) = x Here in the intellisense it says "x: 'b -> 'b". In the FSI it says "x: ^b -> ^b" <<<< different Since the