{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"match"}]}
            match ty.kind() {
            let ty = goal.predicate.self_ty();
                // `&mut T` and `&T` always implement `BikeshedGuaranteedNoDrop`.