14931971708

Committed 09 May 2025 03:08PM UTC coverage: 55.308%. First build

Build # 14931971708

Build Type

Pull #527

github

Committed by

web-flow

Commit Message

Merge 10005e18e into a46b975f2

Pull Request Pull Request #527: Rework type information (Def) — rebased #462

Run Details

1077 of 1985 new or added lines in 50 files covered. (54.26%)

6669 of 12058 relevant lines covered (55.31%)

73.99 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

81.54

/facet-core/src/impls_alloc/vec.rs

use crate::*;
use core::hash::Hash as _;

use alloc::vec::Vec;

unsafe impl<'a, T> Facet<'a> for Vec<T>
where
    T: Facet<'a>,
{
    const VTABLE: &'static ValueVTable = &const {
        let mut builder = ValueVTable::builder::<Self>()
            .type_name(|f, opts| {
                if let Some(opts) = opts.for_children() {
                    write!(f, "Vec<")?;
                    (T::SHAPE.vtable.type_name)(f, opts)?;
                    write!(f, ">")
                } else {
                    write!(f, "Vec<⋯>")
                }
            })
            .default_in_place(|target| unsafe { target.put(Self::default()) });

        if T::SHAPE.vtable.clone_into.is_some() {
            builder = builder.clone_into(|src, dst| unsafe {
                let mut new_vec = Vec::with_capacity(src.len());

                let t_clone_into = <VTableView<T>>::of().clone_into().unwrap();

                for item in src {
                    use crate::TypedPtrUninit;
                    use core::mem::MaybeUninit;

                    let mut new_item = MaybeUninit::<T>::uninit();
                    let uninit_item = TypedPtrUninit::new(new_item.as_mut_ptr());

                    (t_clone_into)(item, uninit_item);

                    new_vec.push(new_item.assume_init());
                }

                dst.put(new_vec)
            });
        }

        if T::SHAPE.vtable.debug.is_some() {
            builder = builder.debug(|value, f| {
                write!(f, "[")?;
                for (i, item) in value.iter().enumerate() {
                    if i > 0 {
                        write!(f, ", ")?;
                    }
                    (<VTableView<T>>::of().debug().unwrap())(item, f)?;
                }
                write!(f, "]")
            });
        }

        if T::SHAPE.vtable.eq.is_some() {
            builder = builder.eq(|a, b| {
                if a.len() != b.len() {
                    return false;
                }
                for (item_a, item_b) in a.iter().zip(b.iter()) {
                    if !(<VTableView<T>>::of().eq().unwrap())(item_a, item_b) {
                        return false;
                    }
                }
                true
            });
        }

        if T::SHAPE.vtable.hash.is_some() {
            builder = builder.hash(|vec, hasher_this, hasher_write_fn| unsafe {
                use crate::HasherProxy;
                let t_hash = <VTableView<T>>::of().hash().unwrap_unchecked();
                let mut hasher = HasherProxy::new(hasher_this, hasher_write_fn);
                vec.len().hash(&mut hasher);
                for item in vec {
                    (t_hash)(item, hasher_this, hasher_write_fn);
                }
            });
        }

        let traits = MarkerTraits::SEND
            .union(MarkerTraits::SYNC)
            .union(MarkerTraits::EQ)
            .union(MarkerTraits::UNPIN)
            .intersection(T::SHAPE.vtable.marker_traits);
        builder = builder.marker_traits(traits);

        builder.build()
    };

    const SHAPE: &'static Shape = &const {
        Shape::builder_for_sized::<Self>()
            .type_params(&[TypeParam {
                name: "T",
                shape: || T::SHAPE,
            }])
            .ty(Type::User(UserType::Opaque))
            .def(Def::List(
                ListDef::builder()
                    .vtable(
                        &const {
                            ListVTable::builder()
                                .init_in_place_with_capacity(|data, capacity| unsafe {
                                    data.put(Self::with_capacity(capacity))
                                })
                                .push(|ptr, item| unsafe {
                                    let vec = ptr.as_mut::<Self>();
                                    let item = item.read::<T>();
                                    (*vec).push(item);
                                })
                                .len(|ptr| unsafe {
                                    let vec = ptr.get::<Self>();
                                    vec.len()
                                })
                                .as_ptr(|ptr| unsafe {
                                    let vec = ptr.get::<Self>();
                                    PtrConst::new(vec.as_ptr())
                                })
                                .build()
                        },
                    )
                    .t(|| T::SHAPE)
                    .build(),
            ))
            .build()
    };
}

1	use crate::*;
2	use core::hash::Hash as _;
3
4	use alloc::vec::Vec;
5
6	unsafe impl<'a, T> Facet<'a> for Vec<T>
7	where
8	T: Facet<'a>,
9	{
10	const VTABLE: &'static ValueVTable = &const {
11	let mut builder = ValueVTable::builder::<Self>()
12	.type_name(\|f, opts\| {	109✔
13	if let Some(opts) = opts.for_children() {	109✔
14	write!(f, "Vec<")?;	109✔
15	(T::SHAPE.vtable.type_name)(f, opts)?;	109✔
16	write!(f, ">")	109✔
17	} else {
NEW 18	write!(f, "Vec<⋯>")	×
19	}
20	})	109✔
21	.default_in_place(\|target\| unsafe { target.put(Self::default()) });	36✔
22
23	if T::SHAPE.vtable.clone_into.is_some() {
24	builder = builder.clone_into(\|src, dst\| unsafe {	1✔
25	let mut new_vec = Vec::with_capacity(src.len());	1✔
26		1✔
27	let t_clone_into = <VTableView<T>>::of().clone_into().unwrap();	1✔
28
29	for item in src {	2✔
30	use crate::TypedPtrUninit;
31	use core::mem::MaybeUninit;
32
33	let mut new_item = MaybeUninit::<T>::uninit();	1✔
34	let uninit_item = TypedPtrUninit::new(new_item.as_mut_ptr());	1✔
35		1✔
36	(t_clone_into)(item, uninit_item);	1✔
37		1✔
38	new_vec.push(new_item.assume_init());	1✔
39	}
40
41	dst.put(new_vec)	1✔
42	});	1✔
43	}
44
45	if T::SHAPE.vtable.debug.is_some() {
46	builder = builder.debug(\|value, f\| {	20✔
47	write!(f, "[")?;	20✔
48	for (i, item) in value.iter().enumerate() {	40✔
49	if i > 0 {	40✔
50	write!(f, ", ")?;	24✔
51	}	16✔
52	(<VTableView<T>>::of().debug().unwrap())(item, f)?;	40✔
53	}
54	write!(f, "]")	20✔
55	});	20✔
56	}
57
58	if T::SHAPE.vtable.eq.is_some() {
59	builder = builder.eq(\|a, b\| {	4✔
60	if a.len() != b.len() {	4✔
NEW 61	return false;	×
62	}	4✔
63	for (item_a, item_b) in a.iter().zip(b.iter()) {	7✔
64	if !(<VTableView<T>>::of().eq().unwrap())(item_a, item_b) {	7✔
65	return false;	2✔
66	}	5✔
67	}
68	true	2✔
69	});	4✔
70	}
71
72	if T::SHAPE.vtable.hash.is_some() {
73	builder = builder.hash(\|vec, hasher_this, hasher_write_fn\| unsafe {
74	use crate::HasherProxy;
NEW 75	let t_hash = <VTableView<T>>::of().hash().unwrap_unchecked();	×
NEW 76	let mut hasher = HasherProxy::new(hasher_this, hasher_write_fn);	×
NEW 77	vec.len().hash(&mut hasher);	×
NEW 78	for item in vec {	×
NEW 79	(t_hash)(item, hasher_this, hasher_write_fn);	×
NEW 80	}	×
NEW 81	});	×
82	}
83
84	let traits = MarkerTraits::SEND
85	.union(MarkerTraits::SYNC)
86	.union(MarkerTraits::EQ)
87	.union(MarkerTraits::UNPIN)
88	.intersection(T::SHAPE.vtable.marker_traits);
89	builder = builder.marker_traits(traits);
90
91	builder.build()
92	};
93
94	const SHAPE: &'static Shape = &const {
95	Shape::builder_for_sized::<Self>()
96	.type_params(&[TypeParam {
97	name: "T",
98	shape: \|\| T::SHAPE,	1✔
99	}])
100	.ty(Type::User(UserType::Opaque))
101	.def(Def::List(
102	ListDef::builder()
103	.vtable(
104	&const {
105	ListVTable::builder()
106	.init_in_place_with_capacity(\|data, capacity\| unsafe {	×
107	data.put(Self::with_capacity(capacity))	×
108	})	×
109	.push(\|ptr, item\| unsafe {	49✔
110	let vec = ptr.as_mut::<Self>();	49✔
111	let item = item.read::<T>();	49✔
112	(*vec).push(item);	49✔
113	})	49✔
114	.len(\|ptr\| unsafe {	13✔
115	let vec = ptr.get::<Self>();	13✔
116	vec.len()	13✔
117	})	13✔
118	.as_ptr(\|ptr\| unsafe {	14✔
119	let vec = ptr.get::<Self>();	14✔
120	PtrConst::new(vec.as_ptr())	14✔
121	})	14✔
122	.build()
123	},
124	)
125	.t(\|\| T::SHAPE)	83✔
126	.build(),
127	))
128	.build()
129	};
130	}

facet-rs / facet / 14931971708

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous