Type annotation in dependent tuple is ignored when in a function argument

[paracetamolo]

When writing a function that takes a dependent tuple as argument, if the argument is decorated with a type annotation, it is ignored.

module Bug_dtuple

type d = r:nat & n:nat{n>r}

let id_weird : d -> d = fun (|r, (n:string)|) -> (|r,n|)