Let $\gamma$ denote a first class constraint. Then if there exists a function on phase space $f(q,p)$ for which the Poisson bracket with the constraint does not vanish $\lbrace f, \gamma\rbrace \neq 0$, then there is an inconsistency with canonical quantization: if we upgrade the constraint equation to an operator relation $\hat{\gamma}=0$ then $\hat{\gamma}$ should annihilate all states whereas canonical quantization states that: \begin{equation} [\hat{f},\hat{\gamma}]=i\hbar {\lbrace f, \gamma\rbrace }. \tag{1} \end{equation} The LHS of Eq.($1$) should annihilate all states as $\hat{\gamma}=0$, whereas the resultant operator on the RHS need not annihilate all states. How does one resolve the inconsistency in this case?
The Dirac bracket does not resolve this as the Dirac bracket of any function with a first class constraint is equal to the Poisson bracket, i.e. $\lbrace f, \gamma\rbrace_{Dirac}=\lbrace f, \gamma\rbrace_{Poisson}$.