Check projection args before substitution in new solver Don't ICE when an impl has the wrong kind of GAT arguments r? lcnr