Semantic checking for template arguments that correspond to non-type

template parameters that have reference type. Effectively, we're doing
a very limited form of reference binding here.

llvm-svn: 64270