anchor.diff:            IL_003e:  isinst     [runtime]System.IDisposable
             IL_0043:  stloc.s    V_4
             IL_0045:  ldloc.s    V_4
  -          IL_0047:  brfalse.s  IL_004b
  -    
  -          IL_0049:  br.s       IL_004d
  -    
  -          IL_004b:  br.s       IL_0057
  -    
  -          IL_004d:  ldloc.s    V_4
  -          IL_004f:  callvirt   instance void [runtime]System.IDisposable::Dispose()
  -          IL_0054:  ldnull
  -          IL_0055:  pop
  -          IL_0056:  endfinally
  +          IL_0047:  brfalse.s  IL_0053
  +    
  +          IL_0049:  ldloc.s    V_4
  +          IL_004b:  callvirt   instance void [runtime]System.IDisposable::Dispose()
  +          IL_0050:  ldnull
  +          IL_0051:  pop
  +          IL_0052:  endfinally
  +          IL_0053:  ldnull
  +          IL_0054:  pop
  +          IL_0055:  endfinally
  +        }  
  +        IL_0056:  ldloc.2
  +        IL_0057:  pop
  +        IL_0058:  ldloca.s   V_0
  +        IL_005a:  call       instance class [FSharp.Core]Microsoft.FSharp.Collections.FSharpList`1<!0> valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32>::Close()
  +        IL_005f:  ret
  +      } 
           """
               ])
   
  
positive.code:     
            IL_0039:  ldnull
            IL_003a:  stloc.2
            IL_003b:  leave.s    IL_005a
      
          }  
          finally
  
negative.code:             (fun verifier -> verifier.VerifyIL [
          """
  .method public static class [FSharp.Core]Microsoft.FSharp.Collections.FSharpList`1<int32> 
            ListExpressionSteppingTest6() cil managed
    {
      
      .maxstack  5
      .locals init (valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32> V_0,
               class [runtime]System.Collections.Generic.IEnumerator`1<int32> V_1,
               class [runtime]System.Collections.Generic.IEnumerable`1<int32> V_2,
               int32 V_3,
               class [runtime]System.IDisposable V_4)
      IL_0000:  ldc.i4.1
      IL_0001:  ldc.i4.1
      IL_0002:  ldc.i4.4
      IL_0003:  call       class [runtime]System.Collections.Generic.IEnumerable`1<int32> [FSharp.Core]Microsoft.FSharp.Core.Operators/OperatorIntrinsics::RangeInt32(int32,
                                                                                                                                                                             int32,
                                                                                                                                                                             int32)
      IL_0008:  callvirt   instance class [runtime]System.Collections.Generic.IEnumerator`1<!0> class [runtime]System.Collections.Generic.IEnumerable`1<int32>::GetEnumerator()
      IL_000d:  stloc.1
      .try
      {
        IL_000e:  ldloc.1
        IL_000f:  callvirt   instance bool [runtime]System.Collections.IEnumerator::MoveNext()
        IL_0014:  brfalse.s  IL_0073
  
        IL_0016:  ldloc.1
        IL_0017:  callvirt   instance !0 class [runtime]System.Collections.Generic.IEnumerator`1<int32>::get_Current()
        IL_001c:  stloc.3
        IL_001d:  ldloc.3
        IL_001e:  ldc.i4.1
        IL_001f:  sub
        IL_0020:  switch     ( 
                              IL_002f,
                              IL_004b)
        IL_002d:  br.s       IL_0067
  
        IL_002f:  ldstr      "hello"
        IL_0034:  newobj     instance void class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`5<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [runtime]System.IO.TextWriter,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit>::.ctor(string)
        IL_0039:  call       !!0 [FSharp.Core]Microsoft.FSharp.Core.ExtraTopLevelOperators::PrintFormatLine<class [FSharp.Core]Microsoft.FSharp.Core.Unit>(class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`4<!!0,class [runtime]System.IO.TextWriter,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit>)
        IL_003e:  pop
        IL_003f:  ldloca.s   V_0
        IL_0041:  ldloc.3
        IL_0042:  call       instance void valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32>::Add(!0)
        IL_0047:  nop
        IL_0048:  nop
        IL_0049:  br.s       IL_000e
  
        IL_004b:  ldstr      "hello"
        IL_0050:  newobj     instance void class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`5<class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [runtime]System.IO.TextWriter,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit>::.ctor(string)
        IL_0055:  call       !!0 [FSharp.Core]Microsoft.FSharp.Core.ExtraTopLevelOperators::PrintFormatLine<class [FSharp.Core]Microsoft.FSharp.Core.Unit>(class [FSharp.Core]Microsoft.FSharp.Core.PrintfFormat`4<!!0,class [runtime]System.IO.TextWriter,class [FSharp.Core]Microsoft.FSharp.Core.Unit,class [FSharp.Core]Microsoft.FSharp.Core.Unit>)
        IL_005a:  pop
        IL_005b:  ldloca.s   V_0
        IL_005d:  ldloc.3
        IL_005e:  call       instance void valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32>::Add(!0)
        IL_0063:  nop
        IL_0064:  nop
        IL_0065:  br.s       IL_000e
  
        IL_0067:  ldloca.s   V_0
        IL_0069:  ldloc.3
        IL_006a:  call       instance void valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32>::Add(!0)
        IL_006f:  nop
        IL_0070:  nop
        IL_0071:  br.s       IL_000e
  
        IL_0073:  ldnull
        IL_0074:  stloc.2
        IL_0075:  leave.s    IL_0090
  
      }  
      finally
      {
        IL_0077:  ldloc.1
        IL_0078:  isinst     [runtime]System.IDisposable
        IL_007d:  stloc.s    V_4
        IL_007f:  ldloc.s    V_4
        IL_0081:  brfalse.s  IL_008d
  
        IL_0083:  ldloc.s    V_4
        IL_0085:  callvirt   instance void [runtime]System.IDisposable::Dispose()
        IL_008a:  ldnull
        IL_008b:  pop
        IL_008c:  endfinally
        IL_008d:  ldnull
        IL_008e:  pop
        IL_008f:  endfinally
      }  
      IL_0090:  ldloc.2
      IL_0091:  pop
      IL_0092:  ldloca.s   V_0
      IL_0094:  call       instance class [FSharp.Core]Microsoft.FSharp.Collections.FSharpList`1<!0> valuetype [FSharp.Core]Microsoft.FSharp.Core.CompilerServices.ListCollector`1<int32>::Close()
      IL_0099:  ret
    } 
  
          """
              ])
  