try TcTypeOrMeasure optKind cenv newOk checkCxs occ env tpenv ty

with e ->

errorRecovery e ty.Range

(if newOk <> NoNewTypars then NewErrorType () else cenv.g.obj_ty),tpenv

let rty =

match optKind, newOk with

| Some TyparKind.Measure, NoNewTypars -> TType_measure MeasureOne

| Some TyparKind.Measure, _ -> TType_measure (NewErrorMeasure ())

| _, NoNewTypars -> cenv.g.obj_ty

| _ -> NewErrorType ()

rty,tpenv

and TcTypeAndRecover cenv newOk checkCxs occ env tpenv ty =

TcTypeOrMeasureAndRecover (Some TyparKind.Type) cenv newOk checkCxs occ env tpenv ty

neg90.fs(4,9,4,12): typecheck error FS0001: A generic construct requires that the type 'Recd' have a public default constructor

neg90.fs(7,22,7,25): typecheck error FS0039: The type 'foo' isnot defined

neg90.fs(7,22,7,25): typecheck error FS0039: The type 'foo' isnot defined

letfoo<'awhen'a:(new: unit-> 'a)>()=new 'a()

typeRecd={f:int}

let_= foo<Recd>()

let_= foo<Recd>()

type[<Measure>]N= foo// foo is undefined

typeM2= float<N>