{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":")"}]}
    ) -> (Option<Ty<'tcx>>, Ty<'tcx>) {
        min_len: u64,
        let len = self.try_structurally_resolve_const(span, len).try_to_target_usize(self.tcx);