// $HeadURL$
// $Date$
// $Author$

// @author@	Don Clugston <dac@nospam.com.au>
// @date@	2005-12-06
// @uri@	http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=5773

module dstress.run.m.mangleof_14_A;

template a(size_t n){
	const size_t a = n;
}

template b(f) {
	const int b = a!(f.mangleof.length);
}

int main(){
	int c = b!(int[2]);

	if(c == 3){
		return 0;
	}
}