Home Library Learn Samples Downloads Support Community Forums
Microsoft Developer Network >
> 
> 
> 
Change request: Mate Array.GetUpperBound(int) as pure

Answered Change request: Mate Array.GetUpperBound(int) as pure

  • Thursday, February 26, 2009 8:33 AM
     
      Has Code
    Sign In to Vote
    0
    Currently I cannot use the below line because GetUpperBound isn't pure.

    1 RequiresAlways(array(0).GetUpperBound(0) >= 0) 
     

All Replies

  • Thursday, February 26, 2009 4:22 PM
    Owner
     
     Answered
    Sign In to Vote
    0
    Right, this is a known bug that we discovered after the release. Somehow the purity of methods from contract assemblies isn't visible to the checker. We will try to refresh the bits on Monday to get rid of this show stopper.

    -Maf
     
© 2013 Microsoft. All rights reserved.