{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // needs layout equality. For performance reason we skip this check when
        // Make sure the layout is equal, too -- just to be safe. Miri really
        // the types are equal. Equal types *can* have different layouts when