19264, "vasslitvinov", "meaning of '*' '/' '%' 'op=' on domains and ranges", "2022-02-17T20:45:03Z"
This proposal is to define */%op= on domains and ranges as follows:
no special handling for */% ; using these operators with one or two domains/ranges will lead to promotion if possible
*=/=%= with a domain/range lhs are a compilation error
Discussion: the first rule is a natural choice, as there is no clearly-better alternative and no need to create one. For op=, while there is a natural semantics for these operations -- perform the binary operation and store the result -- it is currently unimplemented and is unlikely to be desired. Making these a compilation error for now allows us to enable them later if desired.