// "env_source-14.hac"
// copy-modified from "env_source-13.hac" during bug hunt
// should pass alloc

import "env_source.hac";

source_e<2> X, Y;
X<2, {0,1}>;
Y = X;			// aliasing should synchronize actuals

