@@ -8227,18 +8227,14 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =
82278227 RecordNameAndTypeResolutions_IdeallyWithoutHavingOtherEffects_Delayed cenv env tpenv delayed
82288228
82298229 let flag =
8230- match expr.Expr with
8231- | Expr.Val (d,_,_)
8232- | Expr.App(Expr.Val (d,_,_),_,_,_,_) ->
8233- let typ = d.Type
8234- isArray1DTy cenv.g typ ||
8235- if isAppTy cenv.g typ then
8236- let tcref = tcrefOfAppTy cenv.g typ
8237- let _, entityTy = generalizeTyconRef tcref
8238- let props = GetImmediateIntrinsicPropInfosOfType (None, AccessibleFromSomeFSharpCode) cenv.g cenv.amap range0 entityTy
8239- props |> List.exists (fun x -> x.PropertyName = "Item")
8240- else false
8241- | _ -> false
8230+ let typ = expr.Type
8231+ isArray1DTy cenv.g typ ||
8232+ if isAppTy cenv.g typ then
8233+ let tcref = tcrefOfAppTy cenv.g typ
8234+ let _, entityTy = generalizeTyconRef tcref
8235+ let props = GetImmediateIntrinsicPropInfosOfType (None, AccessibleFromSomeFSharpCode) cenv.g cenv.amap range0 entityTy
8236+ props |> List.exists (fun x -> x.PropertyName = "Item")
8237+ else false
82428238
82438239 error (NotAFunction(denv,overallTy,flag,mExpr,mArg))
82448240 | _ ->