Что будет, если инстанциировать (13.9.1/1) type<T> для некоторого T? В глобальном неймспейсе (но не в глобальной области видимости, но доступная для argument-dependent lookup, это важно!) окажется объявление функции get(T) (
9.8.1.2/3, 13.9.1/4), пусть и без определения (6.2/2.1).