PyType (@Nullable PyType operandType, @NotNull TypeEvalContext context) { // TODO: Currently we don't evaluate the static range of the slice, so we have to return a generic tuple type without elements if (operandType instanceof PyTupleType) { return ((PyTupleType)operandType).isHomogeneous() ? operandType : PyBuiltinCache.getInstance(this).getTupleType(); } if (operandType instanceof PyCollectionType) { return operandType; } if (operandType instanceof PyClassType) { return PyUtil.getReturnTypeOfMember(operandType, PyNames.GETITEM, null, context); } if (operandType instanceof PyUnionType) { return ((PyUnionType)operandType).map(member -> getSliceType(member, context)); } return null; }