{"ast_node_type":"impl","tokens":[{"end":48,"kind":"keyword","start":0,"text":"predicate:"}]}
        predicate: impl Upcast<TyCtxt<'tcx>, O>,
        param_env: ty::ParamEnv<'tcx>,
    ) -> Obligation<'tcx, O> {