{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"}"}]}
                        }
                            return Ok(());
                        let layout = self.layout_adt(id.0, subst.clone())?;