[EDIT: I first meant to respond in the thread, then decided on a private message to Mason, but posted here anyway by accident. I could delete it.]
FYI (A)⁻¹ still works in 1.10.0-beta1 (and using LinearAlgebra; ((A)⁻¹)*A ≈ I(3) which you implied and may should have written), while on my modified master:
julia> (A)⁻¹
ERROR: MethodError: no method matching inv(::Matrix{Float64})
I was going to post this to the thread and maybe file a regression issue, until I remembered my master is my experiment of (LinearAlgebra) excision, and this works if I first do using LinearAlgebra along with A*A.
I knew about A*A not working in my “Julia 2.0”, and it seemed a worthy tradeoff given my 8% if I recall faster startup. I still believe all using LinearAlgebra recovers all compatibility. In practice isn’t that what you would do in all real-world code anyway? Unless you use none of it, then of course not an issue. You can still define (multi-dimensional) arrays fine.