diff --git a/src/Compiler/Checking/NameResolution.fs b/src/Compiler/Checking/NameResolution.fs index 75dcfc57602..1536dd9d9e9 100644 --- a/src/Compiler/Checking/NameResolution.fs +++ b/src/Compiler/Checking/NameResolution.fs @@ -2483,11 +2483,7 @@ let private ResolveObjectConstructorPrim (ncenv: NameResolver) edenv resInfo m a [DefaultStructCtor(g, ty)] else [] if (isNil defaultStructCtorInfo && isNil ctorInfos) || (not (isAppTy g ty) && not (isAnyTupleTy g ty)) then - let nm = NicePrint.minimalStringOfType edenv ty - if isRecdTy g ty || isUnionTy g ty then - success (resInfo, Item.Types(nm, [ty])) - else - raze (Error(FSComp.SR.nrNoConstructorsAvailableForType(nm), m)) + raze (Error(FSComp.SR.nrNoConstructorsAvailableForType(NicePrint.minimalStringOfType edenv ty), m)) else let ctorInfos = ctorInfos |> List.filter (IsMethInfoAccessible amap m ad) let metadataTy = convertToTypeWithMetadataIfPossible g ty