На самом деле из синтаксиса ничего не следует
MemberExpression тут A.f
А (A.f) - это как раз AssignmentExpression. И знак = тут совершенно не при чем.
Но поведение объясняется в Runtime Semantics: Evaluation в примечании к п 12.2.10.4
https://262.ecma-international.org/8...ics-evaluation
Правда я не совсем понял при чем там typeof.