{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"fcx.write_ty(block.hir_id,"}]}
        fcx.write_ty(block.hir_id, ty);
        fcx.require_type_is_sized(ty, body.value.span, ObligationCauseCode::SizedConstOrStatic);
        ty