Existe uma maneira de ter avisos para sombrear valores em F # no Visual Studio?

Para mim, sombreamento de valores existentes, como descrito em:

Função de sombreamento e aninhada
imutável em F #
definição duplicada f #
FSharp por diversão e lucro comentário

parece estar indo contra a noção de imutabilidade e segurança de tipo que torna o F # tão forte. Sombreamento em obras de F #diferente do que em c #. Levei algum tempo para descobrir que um bug no meu código era devido a sombreamento não intencional de um nome dentro do mesmo escopo. Existe uma maneira de ter avisos do compilador para valores sombreados no VS?

Eu sei que em alguns casos isso pode ser útil. por exemplo paraAritmética verificada .