Home Dashboard Directory Help

Bug in Code Contracts 1.4.40602.0 when Generic and Non-Generic method have the same name and parameters by AceHack


 as Fixed Help for as Fixed

Sign in
to vote
Type: Bug
ID: 712865
Opened: 12/9/2011 1:45:12 PM
Access Restriction: Public
Moderator Decision: Sent to Engineering Team for consideration
User(s) can reproduce this bug


The Contracts for the Generic method is getting lost and does not show up in the IL. Below is a code example. If you just removed the non-generic from the interface then the generic contract works as expected. But with the non-generic in place the generic contract is getting lost in the re-write.
Sign in to post a comment.
Posted by AceHack on 1/12/2012 at 6:07 PM
Thanks so much!
Posted by Microsoft on 1/12/2012 at 5:58 PM
Thanks for reporting this! This particular issue is fixed with our current internal builds of the Code Contracts binary rewriter (CCRewrite). We hope to do another public release of our Code Contracts tools soon. That should contain this fix.

.NET Core Framework team
Posted by MS-Moderator08 [Feedback Moderator] on 12/11/2011 at 10:42 PM
Thank you for submitting feedback on Visual Studio 2010 and .NET Framework. Your issue has been routed to the appropriate VS development team for investigation. We will contact you if we require any additional information.
Posted by MS-Moderator01 on 12/9/2011 at 2:43 PM
Thank you for your feedback, we are currently reviewing the issue you have submitted. If this issue is urgent, please contact support directly(http://support.microsoft.com)
Sign in to post a workaround.
File Name Submitted By Submitted On File Size  
ContractSettings.jpg 12/9/2011 76 KB