@@ -8314,9 +8314,9 @@ and TcFunctionApplicationThen cenv overallTy env tpenv mExprAndArg expr exprty (
83148314 if not isTypeApp then
83158315 TcExprOfUnknownType cenv env tpenv expr |> ignore
83168316 Some ident
8317- | SynExpr.TypeApp (expr, _,typeNames , _, _,_ , m) ->
8318- TcExprOfUnknownType cenv env tpenv expr |> ignore
8319- TcTypesOrMeasures None cenv ImplictlyBoundTyparsAllowed.NewTyparsOK CheckConstraints.NoCheckCxs ItemOccurence.Use env tpenv typeNames m |> ignore
8317+ | SynExpr.TypeApp (expr, _,typeArgs , _, _,mTypeArgs , m) ->
8318+ TcExprOfUnknownTypeThen cenv env tpenv expr [ DelayedTypeApp (typeArgs, mTypeArgs, m) ] |> ignore
8319+ // TcTypesOrMeasures None cenv ImplictlyBoundTyparsAllowed.NewTyparsOK CheckConstraints.NoCheckCxs ItemOccurence.Use env tpenv typeNames m |> ignore
83208320 findIdents expr true
83218321 | SynExpr.LongIdent(_, LongIdentWithDots(idents, _), _, _) when not (List.isEmpty idents) ->
83228322 if not isTypeApp then