New Issue: sync variables and owned/shared

Notifications Issues
1

17176, "mppf", "sync variables and owned/shared", "2021-02-17T13:13:42Z"

https://chapel-lang.org/docs/language/spec/task-parallelism-and-synchronization.html#synchronization-variables

says

Sync and single are supported for all Chapel primitive types ( Primitive Types) except complex. They are also supported for enumerated types ( Enumerated Types) and variables of class type ( Class Types). For sync variables of class type, the full/empty state applies to the reference to the class object, not to its member fields.

After this was written, we developed the idea that "class types" includes owned and shared. Do we intend for these to be the element type in sync or shared ?

Meanwhile, there are confusing error messages when using sync owned and sync shared :

class C {
  var x: int;
}

proc main() {
  var x$: sync owned C? = new owned C(1); // error 1
  writeln(x$.readFE());
  var y$: sync shared C? = new shared C(1); // error 2
  writeln(y$.readFE());
}

So the next steps are: