The solution was to make the protocol extension method a protocol requirement. See discussion on Mastodon for more details (thanks to Slava for his help!): https://mathstodon.xyz/@slava/116829863693726162