... and rename hir_type_generated.rs so it gets picked up by the
glob.

This mostly changes how GitHub renders diffs for generated files on
the web interface.

See: https://docs.github.com/en/repositories/working-with-files/managing-files/customizing-how-changed-files-appear-on-github