{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
            let AdtId::StructId(id) = *id else {
        TyKind::Adt(chalk_ir::AdtId(id), subst) => {
                never!("`{:?}` should be sized but is not?", ty);