[ ] The code is documented and the documentation renders correctly. Run
make doc to generate the documentation locally into BUILD_DIR/docs/html.
Then open index.html.
[ ] The code follows the stylistic and code quality guidelines listed in the
code review guide.
[ ] The PR lists upgrade instructions and is labeled bugfix or
new feature if appropriate.
There was an internal compiler error.
Proposed changes
Ran into this on Caltech HPC when building tests.
Upgrade instructions
Code review checklist
make docto generate the documentation locally intoBUILD_DIR/docs/html. Then openindex.html.bugfixornew featureif appropriate.Further comments