{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"{"}]}
                    {
                        )
                        let non_exhaustive = def.is_variant_list_non_exhaustive()