mono/mono — pull request #639 by KeithLRobertson (2013-05-16 15:09:18+00:00)
Title: Add [ConditionalAttribute("CONTRACTS_FULL")] to generic Contract.Requires<>() overloads..

Otherwise code using these will have to use ccrewrite. With this change, the rewriter isn't needed unless the symbol is defined.