Is there a better way to get T[] and T[5] to play nice in a template?

void main()
{
	char[] c = "world";
	t("hello", c);
}

void t(T, U)(T a, U  b)
{
	static assert(is(T : U) || is(U : T));
}

my first attempt was this:

void t(T)(T a, T  b) {
}

But it wouldn't instance

BCS wrote:
> 
> Is there a better way to get T[] and T[5] to play nice in a template?
> 
> void main()
> {
>     char[] c = "world";
>     t("hello", c);
> }
> 
> void t(T, U)(T a, U  b)
> {
>     static assert(is(T : U) || is(U : T));
> }
> 
> my first attempt was this:
> 
> void t(T)(T a, T  b) {
> }
> 
> But it wouldn't instance
> 
> 
Here you go!

$ cat test8.d; echo -----; gdc test8.d -o test8 && ./test8
import std.stdio;
void main() {
  char[] c="world";
  t("hello", c);
}

void t(T)(T[] a, T[] b) {
  writefln(a, " ", b);
}
- -----
hello world

 --downs

Reply to Downs,

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> BCS wrote:
> 
>> Is there a better way to get T[] and T[5] to play nice in a template?
>> 
>> void main()
>> {
>> char[] c = "world";
>> t("hello", c);
>> }
>> void t(T, U)(T a, U  b)
>> {
>> static assert(is(T : U) || is(U : T));
>> }
>> my first attempt was this:
>> 
>> void t(T)(T a, T  b) {
>> }
>> But it wouldn't instance
>> 
> Here you go!
> 
> $ cat test8.d; echo -----; gdc test8.d -o test8 && ./test8
> import std.stdio;
> void main() {
> char[] c="world";
> t("hello", c);
> }
> void t(T)(T[] a, T[] b) {
> writefln(a, " ", b);
> }
> - -----
> hello world


t(4, 5); // fails for non arrays

The better way to describe what I need is: I need a template function that takes two args, whenever there is a type that both can implicitly convert to the template will implicitly instance for it.