anchor.diff:                      (mkCoerceExpr(expr,genEnumTy,expr.Range,exprty))),tpenv
   
       | SynExpr.LetOrUse _ ->
  -        TcLinearExprs (TcExprThatCanBeCtorBody cenv) cenv env overallTy tpenv true (*consume use bindings*) expr (fun x -> x) 
  +        TcLinearExprs (TcExprThatCanBeCtorBody cenv) cenv env overallTy tpenv false expr (fun x -> x) 
   
       | SynExpr.TryWith (e1,_mTryToWith,clauses,mWithToLast,mTryToLast,spTry,spWith) ->
           let e1',tpenv = TcExpr cenv overallTy env tpenv e1
  
positive.code:                     (fun ty envinner tpenv e -> tcSequenceExprBody envinner ty tpenv e) 
                      cenv env overallTy 
                      tpenv 
                      false(* don't consume 'use' bindings*)
                      comp 
                      (fun x -> x)  |> Some
  
  
negative.code:         else 
              // TcLinearExprs processes multiple 'let' bindings in a tail recursive way
              let mkf,envinner,tpenv = TcLetBinding cenv isUse env ExprContainerInfo ExpressionBinding tpenv (binds,m,body.Range)
              TcLinearExprs bodyChecker cenv envinner overallTy tpenv isCompExpr body (fun (x,tpenv) -> 
                  cont (fst (mkf (x,overallTy)), tpenv))
      | _ -> 
          cont (bodyChecker overallTy env tpenv expr)
  
  