[0035] Convert interface follow-up

[llvm-beanz]

Which proposal does this relate to?
[0035] - linalg

Describe the issue or outstanding question.
Tex Riddell (@tex3d) commented here suggesting a second overload for Convert:
#819 (comment)

We could also play with SFINAE inferring the OriginTy argument.

[llvm-beanz]

The overload requested here would be something like:

template <ComponentEnum DestTy, ComponentEnum OriginTy, typename T, int N>
typename hlsl::enable_if<
    DestTy != OriginTy,
    InterpretedVector<typename __detail::ComponentTypeTraits<DestTy>::Type,
                      __detail::DstN<DestTy, OriginTy, N>::Value,
                      DestTy> >::type
Convert(InterpretedVector<T, N, OriginTy> Vec) {
  /* Do conversion somehow... */
  return MakeInterpretedVector<DestTy>(Vec);
}

[llvm-beanz]

A lot has changed since this was filed. I think we're at a stable usable API at this point.