{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"let"}]}
            let impl_self_ty = self.db.impl_self_ty(impl_id);
        let check_kind = |impl_id| {
            // NOTE(skip_binders): it's safe to skip binders here as we don't check substitutions.