`Cross-module template declarations can now make an overload set:`