关于泛型的类型擦除机制的一个疑惑？

从一篇博客上看到的，但是博主只是说类型擦除导致出错。

package simplejava;

import java.util.ArrayList;

public class ErasedTest {
    public static void main(String[] args) {
        ArrayList<String> arr = new ArrayList<String>();
        arr.add("a");
        arr.add("b");
        accept(arr);
    }

    public static void accept(ArrayList<Object> al) {
        for (Object o : al)
            System.out.println(o);
    }

}

我的理解是：泛型是编译的时候不同，运行时被擦除为原生类型，也就是 main 方法中的变量 arr 的类型变成了 ArrayList，accept 方法中的参数 al 的类型也同样变成了 ArrayList，既然这样，为什么编译的时候出现了这样的错误：

error: incompatible types: ArrayList<String> cannot be converted to ArrayList<Object>

然后，如果在 accept 方法中的参数类型从ArrayList<Object> al改成ArrayList al，这样就可以编译通过了，这其中是什么原因的？