@@ -943,14 +943,13 @@ and SolveMemberConstraint (csenv:ConstraintSolverEnv) ignoreUnresolvedOverload p
943943let traitInfo = TTrait( tys, nm, memFlags, argtys, rty, sln)
944944let rty = GetFSharpViewOfReturnType g rty
945945
946- // Assert the object type if the constraint is for an instance member
947- begin
948- if memFlags.IsInstancethen
949- match tys, argtyswith
950- | [ ty], ( h:: _) -> SolveTypEqualsTypKeepAbbrevs csenv ndeep m2 trace h ty
951- | _ -> ErrorD( ConstraintSolverError( FSComp.SR.csExpectedArguments(), m, m2))
952- else CompleteD
953- end ++ ( fun () ->
946+ // Assert the object type if the constraint is for an instance member
947+ if memFlags.IsInstancethen
948+ match tys, argtyswith
949+ | [ ty], ( h:: _) -> SolveTypEqualsTypKeepAbbrevs csenv ndeep m2 trace h ty
950+ | _ -> ErrorD( ConstraintSolverError( FSComp.SR.csExpectedArguments(), m, m2))
951+ else CompleteD
952+ ++ ( fun () ->
954953
955954// Trait calls are only supported on pseudo type (variables)
956955 tys|> IterateD( SolveTypStaticReq csenv trace HeadTypeStaticReq)) ++ ( fun () ->