Work around bug 3563

This is https://coq.inria.fr/bugs/show_bug.cgi?id=3563, Anomaly:
Uncaught exception Not_found(_). Please report. on pattern matching on
an eta-expanded primitive projection