$typeof(*x) should be valid when x is an [out] parameter

[cbuttner]

We run into this problem here:

/**
 * @param [out] x "The variable or dereferenced pointer to store to."
 * @param value "The value to store."
 * @param $alignment "The alignment to assume for the store"
 * @return "The value of x"
 *
 * @require $assignable(value, $typeof(*x)) : "The value doesn't match the variable"
                                       ^^
Error: 'out' parameters may not be read.
 * @require @constant_is_power_of_2($alignment) : "The alignment must be a power of two"
 **/
macro @unaligned_store(&x, value, usz $alignment) @builtin
{
	return $$unaligned_store(x, ($typeof(*x))value, $alignment);
}

[lerno]

Some overeager evaluation there. Please try now.

[cbuttner]

👍