No, because it was between two `TemplateInstance::semanticTiargs`s.