{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
        let inner = self.unfold_transparent(inner, /* may_unfold */ |def| {
        };
            // Stop at NPO types so that we don't miss that attribute in the check below!