anchor.diff:      if not (typeEquiv csenv.g calledArgTy callerArgTy) then ErrorD(Error(FSComp.SR.csArgumentTypesDoNotMatch(),m)) else
       CompleteD
   
  -and ReportNoCandidatesError (csenv:ConstraintSolverEnv) (nUnnamedCallerArgs,nNamedCallerArgs) methodName ad (calledMethGroup:CalledMeth<_> list) =
  +and ReportNoCandidatesError (csenv:ConstraintSolverEnv) (nUnnamedCallerArgs,nNamedCallerArgs) methodName ad (calledMethGroup:CalledMeth<_> list) isSequential =
   
       let amap = csenv.amap
       let m    = csenv.m
  
positive.code:     | [],_ -> 
          ErrorD (Error (FSComp.SR.csMethodNotFound(methodName),m))
      | _,[] -> 
          ReportNoCandidatesError csenv callerArgCounts methodName ad calledMethGroup 
          ++ (fun () -> ResultD false)
      | _ -> 
          ResultD false
  
negative.code:                         cmeth.ArgSets
                          |> List.exists (fun argSet ->
                              argSet.UnnamedCallerArgs 
                              |> List.exists (fun c -> isSequential c.Expr))
  
                      if couldBeNameArgs then
                          Error (FSComp.SR.csCtorSignatureMismatchArityProp(methodName, nReqd, nActual, signature), m)
  