--- /dev/null
+base_classid.nit:47,2--8: Warning: Expression is already a A.
+base_classid.nit:48,2--9: Warning: Expression is already a A.
+base_classid.nit:49,2--8: Warning: Expression is already a A since it is a B.
+true
+true
+true
+true
+true
+true
+true
+true