mirror of
https://github.com/openharmony/third_party_rust_static-assertions-rs.git
synced 2026-07-21 04:05:27 -04:00
Nikolai Vazquez
6007df8a53
Fixes the issue where subsequent traits were only checked against the first trait and not to one another. This solution was made possible by @SimonSapin demonstrating to me how to expand the input sequence into combinations of inputs. Closes #20.
40 lines
969 B
Rust
40 lines
969 B
Rust
#![no_std]
|
|
#![deny(unsafe_code)]
|
|
|
|
#[macro_use]
|
|
extern crate static_assertions;
|
|
|
|
use core::ops::Range;
|
|
|
|
trait Tri<A: ?Sized, B: ?Sized, C: ?Sized> {}
|
|
|
|
impl<T, A: ?Sized, B: ?Sized, C: ?Sized> Tri<A, B, C> for T {}
|
|
|
|
assert_impl_all!(u64: Tri<[&'static u8], dyn Tri<dyn Send, dyn Sync, str>, (u16, u16)>);
|
|
assert_impl_all!(u8: Send, Sync);
|
|
assert_impl_all!(&'static [u8]: IntoIterator<Item=&'static u8>);
|
|
assert_impl_all!(Range<u8>: Iterator<Item=u8>);
|
|
assert_impl_all!([u8]: Send, Sync, AsRef<[u8]>);
|
|
assert_impl_all!(str: Send, Sync, AsRef<[u8]>,);
|
|
|
|
assert_impl_any!((): Send, Sync);
|
|
assert_impl_any!((): Send, From<u8>);
|
|
assert_impl_any!((): From<u8>, From<u16>, Send);
|
|
|
|
#[allow(dead_code)]
|
|
struct Foo;
|
|
|
|
trait A {}
|
|
trait B {}
|
|
trait C {}
|
|
|
|
impl B for Foo {}
|
|
|
|
assert_impl_one!(Foo: A, B);
|
|
assert_impl_one!(Foo: B, A);
|
|
assert_impl_one!(Foo: B, C);
|
|
assert_impl_one!(Foo: C, B);
|
|
assert_impl_one!(Foo: A, B, C);
|
|
assert_impl_one!(Foo: B, C, A);
|
|
assert_impl_one!(Foo: C, A, B);
|