Присвоение подкласса классу и наоборот

У меня есть это упражнение:

public class TestClass{    
    public static void main(String args[]){       
        A[] a, a1;       
        B[] b;       
        a = new A[10]; 
        a1  = a;       
        b =  new B[20];       
        a = b;  // 1       
        b = (B[]) a;  // 2       
        b = (B[]) a1; // 3    
    } 
} 

class A { } 
class B extends A { } 

На мой взгляд, когда я пишу: a=b, я присваиваю объекту в b другую ссылку (a). На практике объект в b имеет две ссылки (a и b). Но для правила наследования подкласс также относится к типу суперкласса, но суперкласс не является также типом подкласса.

Как ссылка на суперкласс (а) может быть назначена типу подкласса (б)?
И это касается и последующего присвоения.

На мой взгляд, если бы я написал: b=a, то код компилировался бы без проблем, но для присваивания a=b должна быть ошибка компиляции.

Почему это задание правильное?