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