{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME(pattern_types): Figure out the exact coherence rules we want here.
        // We allow impls on pattern types exactly when we allow impls on the base type.
        while let ty::Pat(base, _) = *self_ty.kind() {