{"ast_node_type":"function","tokens":[{"end":48,"kind":"keyword","start":0,"text":"fn"}]}
    fn predicate(&self) -> ty::Predicate<'tcx> {
impl<'tcx> Elaboratable<TyCtxt<'tcx>> for PredicateObligation<'tcx> {
        self.predicate