actualType -> assignedType