More types

src/fsharp/TcGlobals.fs

@@ -944,7 +944,7 @@ type public TcGlobals(compilingFslib: bool, ilg:ILGlobals, fslibCcu: CcuThunk, d
             
   member val tcref_LanguagePrimitives = mk_MFCore_tcref fslibCcu "LanguagePrimitives"
 
-
+  member val tcref_System_Collections_Generic_List       = findSysTyconRef sysGenerics "List`1"
   member val tcref_System_Collections_Generic_IList       = findSysTyconRef sysGenerics "IList`1"
   member val tcref_System_Collections_Generic_IReadOnlyList       = findSysTyconRef sysGenerics "IReadOnlyList`1"
   member val tcref_System_Collections_Generic_ICollection = findSysTyconRef sysGenerics "ICollection`1"

src/fsharp/TypeChecker.fs

@@ -8233,6 +8233,8 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =
                         HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IDictionary typ ||
                         HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_List typ ||
                         HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IList typ ||
+                        HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IReadOnlyList typ ||
+                        HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_ICollection typ ||
                         isArray1DTy cenv.g typ ||
                         isListTy cenv.g typ
                         ->