tc: implicit instantiation is always with imp_tag, never a dot pattern
tc: implicit instantiation is always with imp_tag, never a dot pattern

Fixes #1517

A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar