if isAnyTupleTy g tythen

let(tupInfo,tupElemTys)= destAnyTupleTy g ty

mkOuterCompiledTupleTy g(evalTupInfoIsStruct tupInfo) tupElemTys

elif isFunTy g tythen

let(a,b)= destFunTy g ty

mkAppTy g.fastFunc_tcr[a; b]

else ty

// Phase2B: typecheck the argument to an 'inherits' call and build the new object expr for the inherit-call

| Phase2AInherit (synBaseTy, arg, baseValOpt, m) ->

let baseTy, tpenv = TcType cenv NoNewTypars CheckCxs ItemOccurence.Use envInstance tpenv synBaseTy

let baseTy = baseTy |> helpEnsureTypeHasMetadata cenv.g

let inheritsExpr, tpenv = TcNewExpr cenv envInstance tpenv baseTy (Some synBaseTy.Range) true arg m

let envInstance = match baseValOpt with Some baseVal -> AddLocalVal cenv.tcSink scopem baseVal envInstance | None -> envInstance

let envNonRec = match baseValOpt with Some baseVal -> AddLocalVal cenv.tcSink scopem baseVal envNonRec | None -> envNonRec

| SynTypeDefnSimpleRepr.Enum _ ->

Some(cenv.g.system_Enum_typ)

// Allow super type to be a function type but convert back to FSharpFunc<A,B> to make sure it has metadata

let super = super |> Option.map (helpEnsureTypeHasMetadata cenv.g)

// Publish the super type

tycon.TypeContents.tcaug_super <- super

printfn"%A"(Foo.Test42)

inherit FSharpFunc<int,int>()

override__.Invoke(a:int)= a+1

check"cnwcki1"((Foo()|> box|> unbox<int-> int>)5)6

inherit FSharpFunc<'T,'T>()

override__.Invoke(a:'T)= a

check"cnwcki2"((Foo<int,int>()|> box|> unbox<int-> int>)5)5

inherit OptimizedClosures.FSharpFunc<int,int,int>()

overridef.Invoke(a:int)=(fun u-> f.Invoke(a,u))

override__.Invoke(a:int,b:int)= a+ b+1

check"cnwcki3"((Foo()|> box|> unbox<int-> int-> int>)56)12

inherit OptimizedClosures.FSharpFunc<int,int,int,int>()

overridef.Invoke(t)=(fun u v-> f.Invoke(t,u,v))

override__.Invoke(a:int,b:int,c:int)= a+ b+ c+1

check"cnwcki4"((Foo()|> box|> unbox<int-> int-> int-> int>)567)19

#if TESTS_AS_APP

letRUN()=!failures