Is it correct to say that the compiler can replace the expression `a->i` below by its value 1 because ...?
Is it correct to say that the compiler can replace the expression `a->i` below by its value 1 because...?