Do not depend on crate alloc in no_std mode, by refactoring the use of the Perm type.#2088

jhjourdan merged 1 commit intomastercreusot-rs/creusot:masterfrom

no_std_no_alloccreusot-rs/creusot:no_std_no_allocCopy head branch name to clipboard