flux_alloc/
lib.rs

1// #![no_std]
2#![cfg_attr(flux, feature(allocator_api))]
3
4#[cfg(flux)]
5pub mod vec;
6
7// TODO(RJ): I get an "unused extern crate" warning here,
8// but without it, `in_bounds` is not in scope in `lib/vec/mod.rs`.
9#[cfg(flux)]
10#[allow(unused_extern_crates)]
11extern crate flux_core;