{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"})?;"}]}
                    })?;
                        }
                // Then check that this is also dereferenceable from `a`. This ensures that they are