Home Dashboard Directory Help
Search

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


Status: 

Closed
 as Fixed Help for as Fixed


1
0
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
0
Workaround(s)
view
0
User(s) can reproduce this bug

Description

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.
Details
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.

Brian
.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