// "env_source-04.hac"
// copy-modified from "env_source-03.hac"
// should pass create, fail alloc

import "env_source.hac";

source_e<2> X[3];
X<2, {0,1}>;
// this binds parameter to the whole collection!

// adding a sparse instance
source_e<2> X[3..3];

// expect to fail alloc because last instance is relaxed

