// "env_source-01b.hac"
// copy-modified from "env_source-01.hac", during bug-hunt
// should pass creation, but fail allocation

import "env_source.hac";

source_e<2> X;
// X<2, {0,1}>;
// leave type incomplete

