Interactions

The compiler does not perform type-based alias analysis at optimization level -xO2 and below.