This array access exmaple is based on the example NoSyn program described in the Function Inference document. In the document a library of operator overloads was written in order to provide the user ...

x is evaluated to produce the variable. y is evaluated and, if required, converted to the type of x through an implicit conversion (§12.2). That all sounds fine, but my understanding of reality is ...