This particular problem solved. But install failed nevertheless and destroyed my WordPress installation.
For anyone using Local by FlyWheel who encounters the same problem, when Adminer creates the database it’s not possible to add users to it directly. So you need to create the user first, then add privileges to the user for that database.
As I mentioned, this allowed me to run the installer, which then failed after having destroyed the entire site.