IssueTracker

As part of b/143351714 we discussed the effect of const-correctness on Reactor variables. In general this requires the use of mutable member fields, which we've already adopted (an alternative might be to define a Const<T> class, but that's not considered very elegant and it adds complication to inherit most but not all operators of T).

What is not implemented yet is to ensure that dereferencing Pointer<const T> produces a const Reference<T>. The following snippet should produce a static compile-time error:

Pointer<const Int> p = ...;
*p = 1;

However this is fine:

const Pointer<Int> p = ...;
*p = 1;

But not:

const Pointer<Int> p = ...;
p++;