@nikomatsakis: would you be able to take a look at the questions @eddyb had in the const generics infer PR (#59008)?
we're at the point where we could do with some input from someone who understands how everything fits together better (cc @scalexm, who also might be able to answer the questions)
It would be really nice if there's a dedicated
S-niko-inbox tag for PRs on github. (just kidding