While reading the documentation for DROP INDEX[1], I noticed the lock was described colloquially as an "exclusive" lock, which made me pause for a second because it's the same name as the EXCLUSIVE table lock.
The attached patch explicitly states that an ACCESS EXCLUSIVE lock is acquired.