ふとC# でコメントに契約プログラミングの宣言っぽいのを書いたら、IntelliCodeさんが 勝手に契約プログラミングっぽい事しはじめたりするのかな？＞＜
と思って、それっぽい事を書いた関数の続きに"//"って打って、Tab押しまくって好き勝手にコメントを書かせたらこうなった＞＜