Tuple assignment and lifetime managed types

[LouisJenkinsCS]

Assigning the following managed types result in a type mismatch...

shared

var x : (shared(object), shared(object));
x = (new shared object(), new shared object());

TIO

error: type mismatch in assignment from object to _shared(object)

owned

var x : (owned(object), owned(object));
x = (new owned object(), new owned object());

TIO

error: type mismatch in assignment from object to _owned(object)

The borrowed and unmanaged types work fine, so it seems to be the runtime wrappers for the type that cause the problem.

[LouisJenkinsCS]

Note that the workaround I had to go with was creating my own overload for =.

proc =(ref x : (shared object, shared object), y : (shared object, shared object)) {
	x[1] = y[1];
	x[2] = y[2];
}

var x : (shared object, shared object);
x = (new shared object(), new shared object());

TIO

It might have to do with the "last resort" pragma. (Note the snippet is for release 1.19)

chapel/modules/internal/ChapelTuple.chpl

Lines 189 to 197 in d44399d

	//
	// tuple assignment
	//
	pragma "compiler generated"
	pragma "last resort"
	inline proc =(ref x: _tuple, y: _tuple) where x.size == y.size {
	for param i in 1..x.size do
	x(i) = y(i);
	}

[mppf]

owned(object)

Normally written as owned object