anchor.diff:          // Check the escape condition for all extraGeneralizableTypars.
           // First collect up all the extraGeneralizableTypars.
           let allExtraGeneralizableTypars = 
  -            defnsAs |> MutRecShapes.collectTycons |> List.collect (fun (TyconBindingsPassA(_, _, _, copyOfTyconTypars, _, defnAs)) ->
  +            defnsAs |> MutRecShapes.collectTycons |> List.collect (fun (TyconBindingsPassA(_, _, _, _, copyOfTyconTypars, _, defnAs)) ->
                   [ yield! copyOfTyconTypars
                     for defnA in defnAs do 
                         match defnA with
  
positive.code:                     let ctorValueExprBindings = 
                          [ (let ctorValueExprBinding = TBind(incrClassCtorLhs.InstanceCtorVal,ctorBodyLambdaExpr,NoSequencePointAtStickyBinding)
                             let rbind = { ValScheme = incrClassCtorLhs.InstanceCtorValScheme ; Binding = ctorValueExprBinding }
                             FixupLetrecBind cenv envInitial.DisplayEnv generalizedTyparsForRecursiveBlock rbind) ]
                          @ 
                          ( match cctorBodyLambdaExprOpt with 
                            | None -> []
  
negative.code:         // Find all the field types in all the structrual types
          let tyconsWithStructuralTypes = 
              (envMutRec,withEnvs) 
              ||> MutRecShapes.mapTyconsWithEnv (fun envForDecls (origInfo, tyconOpt) -> 
                     match origInfo, tyconOpt with 
                     | (typeDefCore,_), Some tycon -> Some (tycon,GetStructuralElementsOfTyconDefn cenv envForDecls tpenv typeDefCore tycon)
                     | _ -> None) 
              |> MutRecShapes.collectTycons 
              |> List.choose id
  