{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"assert!(!source_term.has_escaping_bound_vars());"}]}
        assert!(!source_term.has_escaping_bound_vars());
    ) -> RelateResult<'tcx, Generalization<T>> {
        let (for_universe, root_vid) = match target_vid.into() {