{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"{"}]}
            {
                && provided_idx.as_usize() == expected_idx.as_usize()
                self.note_source_of_type_mismatch_constraint(