{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"assert!(!self_type.has_escaping_bound_vars());"}]}
    assert!(!self_type.has_escaping_bound_vars());
    let self_type = header.trait_ref.instantiate_identity().self_ty();