@top T { a }

a[name=Aha] { "x" }

//! (did you mean '@name'?)
