{"ast_node_type":"import","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                        // We can skip the predicate because type parameters are trivially WF.
                    if let ty::Param(_) = ty.kind() {
                    } else {