Potentially the pretty printer should force use of [] in assignment context, instead of relying on the existance of the right attribute.
Nikita Popov