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

Status : 

  Fixed<br /><br />
		This item has been fixed in the current or upcoming version of this product.<br /><br />
		A more detailed explanation for the resolution of this particular item may have been provided in the comments section.

Sign in
to vote
ID 712865 Comments
Status Closed Workarounds
Type Bug Repros 0
Opened 12/9/2011 1:45:12 PM
Access Restriction Public


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)