{"ast_node_type":"function","tokens":[{"end":62,"kind":"keyword","start":0,"text":"fn"}]}
    fn generalize<T: Into<Term<'tcx>> + Relate<TyCtxt<'tcx>>>(
    /// This checks for cycles -- that is, whether `source_term` references `target_vid`.
        &self,