Update chapters/interface.tex

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

chapters/interface.tex

@@ -623,7 +623,7 @@ \section{Type Compatible Expressions}\label{type-compatible-expressions}
   If \lstinline!A! is an enumeration expression then \lstinline!B! must be an enumeration expression and the type of the full expression is enumeration expression.
   The enumeration expressions must be defined in terms of an enumeration type with the same enumeration literals in the same order.
 \item
-  If \lstinline!A! has an \lstinline!operator record! base class then \lstinline!B! must also have an \lstinline!operator record! base class, and it must be the same, and otherwise neither \lstinline!A! nor \lstinline!B! may have an \lstinline!operator record! base class.
+  For array and \lstinline!if!-expressions, if \lstinline!A! has an \lstinline!operator record! base class then \lstinline!B! must also have an \lstinline!operator record! base class, and it must be the same, and otherwise neither \lstinline!A! nor \lstinline!B! may have an \lstinline!operator record! base class.
   This is also the \lstinline!operator record! base class for the full expression e.g.\ for \lstinline!if (cond) then A else B!.
 \item
   If \lstinline!A! is derived from \lstinline!ExternalObject! then \lstinline!B! must also be derived from \lstinline!ExternalObject! and they must have the same full name; and otherwise neither \lstinline!A! nor \lstinline!B! may be derived from \lstinline!ExternalObject!.