2 // compile-flags: -C debug_assertions=yes -Zunstable-options
5 fn problematic_function<Space>()
7 DefaultAlloc: FinAllok<R1, Space>,
10 let _ = Into::<Point>::into(e.map_reference_coords());
12 impl<N> Allocator<N, R0> for DefaultAlloc {
13 type Buffer = MStorage;
15 impl<N> Allocator<N, R1> for DefaultAlloc {
16 type Buffer = MStorage;
18 impl<N, D> From<VectorN<N, D>> for Point
20 DefaultAlloc: Allocator<N, D>,
22 fn from(_: VectorN<N, D>) -> Self {
26 impl<GeometryDim, NodalDim> FinAllok<GeometryDim, NodalDim> for DefaultAlloc
28 DefaultAlloc: Allocator<Ure, GeometryDim>,
29 DefaultAlloc: Allocator<Ure, NodalDim>
32 impl FiniteElement<R1> for Edge2dElement {
33 fn map_reference_coords(&self) -> VectorN<Ure, R1> {
37 type VectorN<N, R> = (N, R, <DefaultAlloc as Allocator<N, R>>::Buffer);
45 trait Allocator<N, R> {
48 trait FinAllok<GeometryDim, NodalDim>:
49 Allocator<Ure, GeometryDim> +
50 Allocator<Ure, NodalDim> +
53 trait FiniteElement<Rau>
55 DefaultAlloc: FinAllok<Rau, Rau>,
57 fn map_reference_coords(&self) -> VectorN<Ure, Rau>;