defprotocol will emit symbols the analyzer cannot resolve. This has no impact in the JS since the emitted symbol is "correct", it just can't be resolved properly in the analyzer which may have other effects.

Each method of a defprotocol will be emitted with only dots and no namespace separation. The broken resolve for dotted symbols just accepts any symbol and in turn resolves them incorrectly.