泛型方法的重载解析未按预期工作

去年，我问过如何遍历和打印锯齿状数组，而不必为要添加的每个维编写重载函数。锯齿状阵列的通用打印。
我再次遇到了问题，并能够像这样解决它。它与我得到的答案之一相似，但不完全相同。

static string Print<T>(T[] array)
{
    string str = "[ ";

    for (int i = 0; i < array.Length; i++)
    {
        str += array[i];
        if (i < array.Length - 1)
            str += ", ";
    }

    return str + " ]\n";
}

static string Print<T>(T[][] array)
{
    string str = "";

    for (int i = 0; i < array.Length; i++)
    {
        var sub = array[i];

        if (sub.Length != 0 && sub[0] is Array)
            str += PrintDynamic(sub);
        else
            str += Print(sub);
    }

    return str + "\n";
}

private static string PrintDynamic(dynamic array)
{
    return Print(array);
}

它工作正常，我得到正确的输出：

var twoDim = new int[][]
{ 
    new int[] { 0, 1, 2, 3 },
    new int[] { 0, 1, 2 },
    new int[] { 0 }
};
var threeDim = new int[][][] { twoDim, twoDim }

Console.WriteLine(Print(threeDim));
// Output:
// [ 0, 1, 2, 3]
// [ 0, 1, 2]
// [ 0 ]
// 
// [ 0, 1, 2, 3]
// [ 0, 1, 2]
// [ 0 ]

但是我仍然不满意，因为如果我不需要PrintDynamic()并且我可以写的话，会更好

str += Print(sub);

代替

str += PrintDynamic(sub);

那就是我的问题的出处。如果更改那一行，则不会出现任何错误，但是输出将变为

// [ System.Int32[], System.Int32[], System.Int32[], System.Int32[]]
// [ System.Int32[], System.Int32[], System.Int32[]]
// [ System.Int32[] ]
// 
// [ System.Int32[], System.Int32[], System.Int32[], System.Int32[]]
// [ System.Int32[], System.Int32[], System.Int32[]]
// [ System.Int32[] ]

因为Print<T>(T[] array)被调用而不是Print<T>(T[][] array)。Print<T>()从调用时编译器如何知道使用哪个PrintDynamic(dynamic array)，而从内部调用时却不知道Print<T>()？