The correct way forward is to implement the AA in the library in the safest way possible. Then, make the library implementation customizable for specialized situations. But it needs to be fully in the library, not partly in the compiler as it is now. Until that point, all these discussions on AA updates are useless.
I mostly agree, except I think we only need _an_ AA in the library, not necessarily _the_ AA.
