问题描述
大家好，
我认为重写器处理迭代器的方式可能存在错误。
I think there may be a bug in how rewriter handles iterators.
我有一个带有两个迭代器的迭代器嵌套的foreach循环有一个Contract.Requires< ArgumentNullExcpetion>（param1！= null）签入一个方法体。
I have an iterator with two nested foreach loops which has a Contract.Requires<ArgumentNullExcpetion>(param1 != null) check in a method body.
当我运行代码时，我会立即得到FatalExecutionEngineError异常尝试在迭代器上调用.MoveNext（）。
When I run the code I'm getting FatalExecutionEngineError exception as soon as I try to call .MoveNext() on iterator.
当我注释掉契约代码或将嵌套的foreach循环更改为for循环时，bug就消失了。
The bug goes away when I comment out Contract code or change nested foreach loop to a for loop.
我更详细地描述了这个错误（带代码）。
I described this error in more details (with code) here (at the bottom of the post) .
推荐答案
这篇关于Bug（？）在迭代器方法中的Contract.Requires会导致FatalExecutionEngineError的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！