{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// This checks for cycles -- that is, whether `source_term` references `target_vid`.
    /// Attempts to generalize `source_term` for the type variable `target_vid`.
    fn generalize<T: Into<Term<'tcx>> + Relate<TyCtxt<'tcx>>>(