{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                // type is correct in case both it and the param type are fully concrete.
                // If we've got a generic const parameter we still want to check its
                let GenericArgKind::Const(ct) = default.kind() else {