The problem is that our Triangular types are square and U might not be square, e.g.
julia> lufact(randn(3,4))[:U]
3×4 Array{Float64,2}:
-2.98058 -0.234937 1.49172 1.7675
0.0 -1.15066 -1.72942 1.26475
0.0 0.0 -1.58043 -0.0808058
We could loosen then type to allow for trapezoid matrices but it would make them more complicated and require more checks.