{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"TyKind::RigidTy(RigidTy::Adt(def,"}]}
            TyKind::RigidTy(RigidTy::Adt(def, _)) => def.is_box(),
        match self {
            _ => false,