{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"self.register_wf_obligation(ty.into(),"}]}
        self.register_wf_obligation(ty.into(), expr.span, ObligationCauseCode::WellFormed(None));
        let ty = Ty::new_array_with_const_len(tcx, t, count);
        ty