{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":")"}]}
    ) -> RelateResult<'tcx, Generalization<T>> {
        source_term: T,
        assert!(!source_term.has_escaping_bound_vars());