{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":")"}]}
    ) -> &[(Size, Prov)] {
        cx: &impl HasDataLayout,
        self.ptrs.range(Self::adjusted_range_ptrs(range, cx))