{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"ty::ClauseKind::WellFormed(src_ty.into()),"}]}
                                ty::ClauseKind::WellFormed(src_ty.into()),
                            self.prove_predicate(
                                location.to_locations(),