blob: 347ab51158c2b1b6e6e3e9e5393b3b8c6e27b055 [file] [log] [blame]
//-
// Copyright 2017, 2018 The proptest developers
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//! Arbitrary implementations for std::borrow.
use core::borrow::Borrow;
use crate::std_facade::{ToOwned, Cow};
use crate::std_facade::fmt;
use crate::strategy::statics::static_map;
use crate::arbitrary::{any_with, SMapped, Arbitrary};
arbitrary!(
[A: Arbitrary + Borrow<B>, B: ToOwned<Owned = A> + fmt::Debug]
Cow<'static, B>, SMapped<A, Self>, A::Parameters;
args => static_map(any_with::<A>(args), Cow::Owned)
);
lift1!([Borrow<B> + 'static, B: ToOwned<Owned = A> + fmt::Debug]
Cow<'static, B>; base => static_map(base, Cow::Owned)
);