@@ -6973,7 +6973,7 @@ and TcIndexingThen cenv env overallTy mWholeExpr mDot tpenv setInfo synLeftExprO
6973
6973
| (_, Array) & (ArrayIndexerOrSlicer (path, meth, args), _)
6974
6974
| (_, String) & (StringIndexerOrSlicer (path, meth, args), _) -> tcArrayOrStringIndexing (path, meth, args)
6975
6975
6976
- // Look for an indexer property or method , or delay lookup while assuming `Item`.
6976
+ // Look for an indexer property, or else assume `Item`.
6977
6977
| (Indexing, Getting), Indexable indexer
6978
6978
| (Indexing, Getting), (Array | Nominal) & PossiblyIndexable indexer ->
6979
6979
propagateThenTcDelayed tpenv expr exprTy (mkDelayedIndexedGet indexer decodedIndexArgs @ delayed)
@@ -6986,16 +6986,16 @@ and TcIndexingThen cenv env overallTy mWholeExpr mDot tpenv setInfo synLeftExprO
6986
6986
| ((Slicing, Getting), Nominal) & Sliceable (tpenv, expr, exprTy) ->
6987
6987
propagateThenTcDelayed tpenv expr exprTy delayed
6988
6988
6989
- // In the immediate absence of either, delay lookup while assuming `GetSlice`.
6989
+ // In the immediate absence of either, assume `GetSlice`.
6990
6990
| (Slicing, Getting), PossiblyGetSliceable slicer ->
6991
6991
propagateThenTcDelayed tpenv expr exprTy (mkDelayedGetSlice slicer decodedIndexArgs @ delayed)
6992
6992
6993
- // Look for an indexer property or method , or delay lookup while assuming `Item`.
6993
+ // Look for an indexer property, or else assume `Item`.
6994
6994
| (Indexing, Setting (setArg, mOfLeftOfSet)), Indexable indexer
6995
6995
| (Indexing, Setting (setArg, mOfLeftOfSet)), (Array | Nominal) & PossiblyIndexable indexer ->
6996
6996
propagateThenTcDelayed tpenv expr exprTy (mkDelayedIndexedSet indexer decodedIndexArgs setArg mOfLeftOfSet @ delayed)
6997
6997
6998
- // Delay lookup of `SetSlice`.
6998
+ // Assume `SetSlice`.
6999
6999
| (Slicing, Setting (setArg, mOfLeftOfSet)), (Array | Nominal) ->
7000
7000
propagateThenTcDelayed tpenv expr exprTy (mkDelayedSetSlice decodedIndexArgs setArg mOfLeftOfSet @ delayed)
7001
7001
0 commit comments