{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"term:"}]}
        term: <Self::Interner as Interner>::Term,
        param_env: <Self::Interner as Interner>::ParamEnv,
    ) -> Option<Vec<Goal<Self::Interner, <Self::Interner as Interner>::Predicate>>>;