  Extended Wigner's friend no-go theorems provide a modern lens for
investigating the measurement problem, by making precise the challenges that
arise when one attempts to model agents as dynamical quantum systems. Most such
no-go theorems studied to date, such as the Frauchiger-Renner argument and the
Local Friendliness argument, are explicitly constructed using quantum
correlations that violate Bell inequalities. In this work, we show that such
correlations are not necessary for having extended Wigner's friend paradoxes,
by constructing a no-go theorem utilizing a proof of the failure of
noncontextuality. The argument hinges on a novel metaphysical assumption (which
we term Commutation Irrelevance) that is a natural extension of a key
assumption going into the Frauchiger and Renner's no-go theorem.
