Missing parameter for associated constant of parametric impl

[maximebuyse]

struct Test<const N: usize>();

impl<const N: usize> Test<N> {
    const A: Self = Self();
}

fn test() -> Test<1> {
    Test::<1>::A
}

Open this code snippet in the playground

In the example above, the generated F* for test is: let test (_: Prims.unit) : t_Test (mk_usize 1) = impl__A.
The parameter for impl__A is missing (it should be impl__A (mk_usize 1))