{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
                        {
                            .must_apply_modulo_regions()
                            let to_ty = if let ty::Adt(def, args) = self.cast_ty.kind() {