{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"Ty::from_rigid_kind(RigidTy::Array(elem_ty,"}]}
        Ty::from_rigid_kind(RigidTy::Array(elem_ty, len))
    pub fn new_array_with_const_len(elem_ty: Ty, len: TyConst) -> Ty {
    }