{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
    }))) = &goal.value.goal.data(Interner)
        if let TyKind::BoundVar(_) = projection_ty.self_type_parameter(db).kind(Interner) {