Closed
Description
I tried this code:
// Cross Product
impl<T: Copy> Vector<T, 3> {
// ✂️ snip ✂️
}
where Vector
is
pub type Vector<T, const N: usize> = Matrix<T, N, 1>;
In the cargo doc output, this shows impl<T: Copy> Matrix<T, N, 1>
even though N
no longer exists in this context, its been concretized to 3
If I change the implementation to use Matrix
instead of the Vector
alias, I see what I would expect. no more N

Project is here, with the specific impl here
Meta
rustc --version --verbose
:
rustc 1.69.0 (84c898d65 2023-04-16)
binary: rustc
commit-hash: 84c898d65adf2f39a5a98507f1fe0ce10a2b8dbc
commit-date: 2023-04-16
host: aarch64-apple-darwin
release: 1.69.0
LLVM version: 15.0.7
Backtrace
I don't seem to get anything and I don't know why