blob: 54450abf2a439adf976819a922c79cd93fc6f761 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
//@ revisions: rpass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
pub trait IsTrue {}
pub trait IsFalse {}
pub struct Assert<const CHECK: bool> {}
impl IsTrue for Assert<true> {}
impl IsFalse for Assert<false> {}
pub struct SliceConstWriter<'a, const N: usize> {
ptr: &'a mut [u8],
}
impl<'a, const N: usize> SliceConstWriter<'a, { N }> {
pub fn from_slice(vec: &'a mut [u8]) -> Self {
Self { ptr: vec }
}
pub fn convert<const NN: usize>(mut self) -> SliceConstWriter<'a, { NN }> {
SliceConstWriter { ptr: self.ptr }
}
}
impl<'a, const N: usize> SliceConstWriter<'a, { N }>
where
Assert<{ N >= 2 }>: IsTrue,
{
pub fn write_u8(mut self) -> SliceConstWriter<'a, { N - 2 }> {
self.convert()
}
}
fn main() {}
|
