Revert "Simpler reshaping for SubArray"

This reverts commit fa97a6eba524955fffe9b54649a57031815a88e5.

Author: mbauman

base/subarray.jl

@@ -12,12 +12,8 @@ immutable SubArray{T,N,P,I,L} <: AbstractArray{T,N}
     first_index::Int   # for linear indexing and pointer, only valid when L==true
     stride1::Int       # used only for linear indexing
 end
-# Ensure the dimensionality of the parent matches the number of indices
-function SubArray{N}(parent::AbstractArray, indexes::NTuple{N}, dims::Tuple)
-    SubArray(reshape(parent, Val{N}), indexes, dims)
-end
 # Compute the linear indexability of the indices, and combine it with the linear indexing of the parent
-function SubArray{T,N}(parent::AbstractArray{T,N}, indexes::NTuple{N}, dims::Tuple)
+function SubArray(parent::AbstractArray, indexes::Tuple, dims::Tuple)
     SubArray(linearindexing(viewindexing(indexes), linearindexing(parent)), parent, indexes, convert(Dims, dims))
 end
 function SubArray{P, I, N}(::LinearSlow, parent::P, indexes::I, dims::NTuple{N, Int})
@@ -81,7 +77,14 @@ parentindexes(a::AbstractArray) = ntuple(i->1:size(a,i), ndims(a))
 
 ## SubArray creation
 # Drops singleton dimensions (those indexed with a scalar)
-function slice(A::AbstractArray, I::ViewIndex...)
+slice{T,N}(A::AbstractArray{T,N}, I::Vararg{ViewIndex,N}) = (@_propagate_inbounds_meta; _slice(A, I...))
+slice(A::AbstractVector, i::ViewIndex) = (@_propagate_inbounds_meta; _slice(A, i))
+slice(A::AbstractArray, i::ViewIndex) = (@_propagate_inbounds_meta; _slice(reshape(A, length(A)), i))
+function slice{N}(A::AbstractArray, I::Vararg{ViewIndex,N}) # TODO: DEPRECATE FOR #14770
+    @_propagate_inbounds_meta
+    _slice(reshape(A, Val{N}), I...)
+end
+function _slice{T,N}(A::AbstractArray{T,N}, I::Vararg{ViewIndex,N})
     @_inline_meta
     @boundscheck checkbounds(A, I...)
     J = to_indexes(I...)
@@ -93,7 +96,14 @@ keep_leading_scalars(T::Tuple{Real, Vararg{Real}}) = T
 keep_leading_scalars(T::Tuple{Real, Vararg{Any}}) = (@_inline_meta; (NoSlice(T[1]), keep_leading_scalars(tail(T))...))
 keep_leading_scalars(T::Tuple{Any, Vararg{Any}}) = (@_inline_meta; (T[1], keep_leading_scalars(tail(T))...))
 
-function sub(A::AbstractArray, I::ViewIndex...)
+sub{T,N}(A::AbstractArray{T,N}, I::Vararg{ViewIndex,N}) = (@_propagate_inbounds_meta; _sub(A, I...))
+sub(A::AbstractVector, i::ViewIndex) = (@_propagate_inbounds_meta; _sub(A, i))
+sub(A::AbstractArray, i::ViewIndex) = (@_propagate_inbounds_meta; _sub(reshape(A, length(A)), i))
+function sub{N}(A::AbstractArray, I::Vararg{ViewIndex,N}) # TODO: DEPRECATE FOR #14770
+    @_propagate_inbounds_meta
+    _sub(reshape(A, Val{N}), I...)
+end
+function _sub{T,N}(A::AbstractArray{T,N}, I::Vararg{ViewIndex,N})
     @_inline_meta
     @boundscheck checkbounds(A, I...)
     J = keep_leading_scalars(to_indexes(I...))