diff --git a/compiler/array-tran.lisp b/compiler/array-tran.lisp
index d37325ab34892cdd2f75d84fbca7e10d081a9a6a..2f3b45f29105fbc5d4cca7355ea9dd71c5ed4a91 100644
--- a/compiler/array-tran.lisp
+++ b/compiler/array-tran.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/array-tran.lisp,v 1.28 2000/07/06 18:37:00 dtc Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/array-tran.lisp,v 1.29 2002/10/15 21:23:13 toy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -59,7 +59,7 @@
   (let ((type (continuation-type array)))
     (when (array-type-p type)
       (assert-continuation-optional-type new-value
-					 (array-type-element-type type))))
+					 (array-type-specialized-element-type type))))
   (continuation-type new-value))
 
 ;;; Unsupplied-Or-NIL  --  Internal
@@ -87,7 +87,7 @@
   ;; If the node continuation has a single use then assert its type.
   (let ((cont (node-cont node)))
     (when (= (length (find-uses cont)) 1)
-      (assert-continuation-type cont (extract-element-type array))))
+      (assert-continuation-type cont (extract-upgraded-element-type array))))
   (extract-upgraded-element-type array))
 
 ;;; %ASET  --  derive-type optimizer.
diff --git a/compiler/generic/vm-tran.lisp b/compiler/generic/vm-tran.lisp
index edadb6b2ce83ca83afeb07daa026746d38a0e5ba..9eb24c879fe42a7f4fe531bfcfdd3bb6cf52b062 100644
--- a/compiler/generic/vm-tran.lisp
+++ b/compiler/generic/vm-tran.lisp
@@ -5,7 +5,7 @@
 ;;; Carnegie Mellon University, and has been placed in the public domain.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-tran.lisp,v 1.45 2002/08/08 15:37:38 toy Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-tran.lisp,v 1.46 2002/10/15 21:23:14 toy Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -59,7 +59,7 @@
     (let ((dims (array-type-dimensions array-type)))
       (when (and (consp dims) (= (length dims) 1))
 	(give-up))
-      (let* ((el-type (array-type-element-type array-type))
+      (let* ((el-type (array-type-specialized-element-type array-type))
 	     (total-size (if (or (atom dims) (member '* dims))
 			     '*
 			     (reduce #'* dims)))
@@ -84,7 +84,7 @@
       (give-up))
     (delay-transform node :optimize)
     (let* ((dims (array-type-dimensions array-type))
-	   (el-type (array-type-element-type array-type))
+	   (el-type (array-type-specialized-element-type array-type))
 	   (total-size (if (or (atom dims) (member '* dims))
 			   '*
 			   (reduce #'* dims)))