id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
137	Better lvalue handling	a3moss		"`lvalue` isn't a qualifier anymore in Cforall, yet gets treated like one. There are 5 places in `AST/Expr.cpp` where a type is cloned just to add an `lvalue` qualifier (search `add_qualifiers`).

It might be preferable to make a new `LvalueType` that is essentially a `readonly<Type>` that just adds `lvalue` to its qualifiers (this might involve making `Type::qualifiers` a getter function rather than a field).

Another approach would be to store lvalue-ness on expressions rather than types, but that would be a more involved change. Both are worth investigating."	task	closed	minor	cfa-cc	1.0	fixed