Revert "Resolve ambiguity"

This reverts commit 3c19c34.

Author: jishnub

src/hessenberg.jl

@@ -177,35 +177,28 @@ function \(U::UnitUpperTriangular, H::UpperHessenberg)
     UpperHessenberg(HH)
 end
 
-AdjUpperHessenberg{T,S<:UpperHessenberg{T}} = Adjoint{T, S}
-TransUpperHessenberg{T,S<:UpperHessenberg{T}} = Transpose{T, S}
-AdjOrTransUpperHessenberg{T,S<:UpperHessenberg{T}} = AdjOrTrans{T, S}
-
-function (\)(H::Union{UpperHessenberg,AdjOrTransUpperHessenberg}, B::AbstractVecOrMat)
+function (\)(H::Union{UpperHessenberg,AdjOrTrans{<:Any,<:UpperHessenberg}}, B::AbstractVecOrMat)
     TFB = typeof(oneunit(eltype(H)) \ oneunit(eltype(B)))
     return ldiv!(H, copy_similar(B, TFB))
 end
 
-(/)(B::AbstractMatrix, H::UpperHessenberg) = _rdiv(B, H)
-(/)(B::AbstractMatrix, H::AdjUpperHessenberg) = _rdiv(B, H)
-(/)(B::AbstractMatrix, H::TransUpperHessenberg) = _rdiv(B, H)
-function _rdiv(B, H)
+function (/)(B::AbstractMatrix, H::Union{UpperHessenberg,AdjOrTrans{<:Any,<:UpperHessenberg}})
     TFB = typeof(oneunit(eltype(B)) / oneunit(eltype(H)))
     return rdiv!(copy_similar(B, TFB), H)
 end
 
-ldiv!(H::AdjOrTransUpperHessenberg, B::AbstractVecOrMat) =
+ldiv!(H::AdjOrTrans{<:Any,<:UpperHessenberg}, B::AbstractVecOrMat) =
     (rdiv!(wrapperop(H)(B), parent(H)); B)
-rdiv!(B::AbstractVecOrMat, H::AdjOrTransUpperHessenberg) =
+rdiv!(B::AbstractVecOrMat, H::AdjOrTrans{<:Any,<:UpperHessenberg}) =
     (ldiv!(parent(H), wrapperop(H)(B)); B)
 
 # fix method ambiguities for right division, from adjtrans.jl:
 /(u::AdjointAbsVec, A::UpperHessenberg) = adjoint(adjoint(A) \ u.parent)
 /(u::TransposeAbsVec, A::UpperHessenberg) = transpose(transpose(A) \ u.parent)
-/(u::AdjointAbsVec, A::AdjUpperHessenberg) = adjoint(adjoint(A) \ u.parent)
-/(u::TransposeAbsVec, A::TransUpperHessenberg) = transpose(transpose(A) \ u.parent)
-/(u::AdjointAbsVec, A::TransUpperHessenberg) = adjoint(conj(A.parent) \ u.parent) # technically should be adjoint(copy(adjoint(copy(A))) \ u.parent)
-/(u::TransposeAbsVec, A::AdjUpperHessenberg) = transpose(conj(A.parent) \ u.parent)
+/(u::AdjointAbsVec, A::Adjoint{<:Any,<:UpperHessenberg}) = adjoint(adjoint(A) \ u.parent)
+/(u::TransposeAbsVec, A::Transpose{<:Any,<:UpperHessenberg}) = transpose(transpose(A) \ u.parent)
+/(u::AdjointAbsVec, A::Transpose{<:Any,<:UpperHessenberg}) = adjoint(conj(A.parent) \ u.parent) # technically should be adjoint(copy(adjoint(copy(A))) \ u.parent)
+/(u::TransposeAbsVec, A::Adjoint{<:Any,<:UpperHessenberg}) = transpose(conj(A.parent) \ u.parent)
 
 # Solving (H+µI)x = b: we can do this in O(m²) time and O(m) memory
 # (in-place in x) by the RQ algorithm from: