New time builtin cannot be detected as a builtin #6598
Description
Hi 👋
I've just upgraded to 3.1.0 and have just learned about the new time builtin. I'm running into a small issue, though, where the builtin command doesn't seem to be aware that time is now a builtin.
$ builtin -n | grep time; echo $status
$ 1
$ builtin -q time; echo $status
$ 1
As far as I can tell, this is because it was removed from src/builtin.cpp in 664d6fb. I'm not very familiar with this project, but would you accept a PR adding it back as a builtin_generic?
Edit: It's a little bit more work than I thought, see #6599.