// Build an assignment into the safeThisValOpt mutable reference cell that holds recursive references to 'this'

// Build an assignment into the safeInitInfo mutable field that indicates that partial initialization is successful

letrewriteContruction recdExpr =

letrewriteConstruction recdExpr =

match env.eCtorInfo with

| None -> recdExpr

| Some ctorInfo ->

match expr with

// <ctor-body> = { fields }

// The constructor ends in an object initialization expression - good

| Expr.Op(TOp.Recd(RecdExprIsObjInit,_),_,_,_) ->rewriteContruction expr

| Expr.Op(TOp.Recd(RecdExprIsObjInit,_),_,_,_) ->rewriteConstruction expr

// <ctor-body> = "a; <ctor-body>"

| Expr.Sequential(a,body,NormalSeq,spSeq,b) -> Expr.Sequential(a,checkAndRewrite body,NormalSeq,spSeq,b)

// The application had better be an application of a ctor

let f = checkAndRewriteCtorUsage f

let expr = Expr.App(f,b,c,d,m)

rewriteContruction expr

rewriteConstruction expr

| _ ->

error(expr)