Don't have Telegram yet? Try it now!
https://knowledge-base.havit.cz/2010/11/01/code-contracts-editor-extensions-konecne-contracty-v-intellisense-tooltipech/
Code Contracts Editor Extensions - konečně contracty v Intellisense tooltipech