No. In here, prmtype (and tb) are *yet not determined type* in template function parameter. It is unknown whether `dim` is an identifier for any type, or expression. It is later decided in `MATCH m = argtype->deduceType(paramscope, prmtype, ...);`