60 lines
1.3 KiB
Rust
60 lines
1.3 KiB
Rust
//@ check-pass
|
|
//@ compile-flags: -C debug_assertions=yes -Zunstable-options
|
|
|
|
#[allow(dead_code)]
|
|
fn problematic_function<Space>()
|
|
where
|
|
DefaultAlloc: FinAllok<R1, Space>,
|
|
{
|
|
let e = Edge2dElement;
|
|
let _ = Into::<Point>::into(e.map_reference_coords());
|
|
}
|
|
impl<N> Allocator<N, R0> for DefaultAlloc {
|
|
type Buffer = MStorage;
|
|
}
|
|
impl<N> Allocator<N, R1> for DefaultAlloc {
|
|
type Buffer = MStorage;
|
|
}
|
|
impl<N, D> From<VectorN<N, D>> for Point
|
|
where
|
|
DefaultAlloc: Allocator<N, D>,
|
|
{
|
|
fn from(_: VectorN<N, D>) -> Self {
|
|
unimplemented!()
|
|
}
|
|
}
|
|
impl<GeometryDim, NodalDim> FinAllok<GeometryDim, NodalDim> for DefaultAlloc
|
|
where
|
|
DefaultAlloc: Allocator<Ure, GeometryDim>,
|
|
DefaultAlloc: Allocator<Ure, NodalDim>
|
|
{
|
|
}
|
|
impl FiniteElement<R1> for Edge2dElement {
|
|
fn map_reference_coords(&self) -> VectorN<Ure, R1> {
|
|
unimplemented!()
|
|
}
|
|
}
|
|
type VectorN<N, R> = (N, R, <DefaultAlloc as Allocator<N, R>>::Buffer);
|
|
struct DefaultAlloc;
|
|
struct R0;
|
|
struct R1;
|
|
struct MStorage;
|
|
struct Point;
|
|
struct Edge2dElement;
|
|
struct Ure;
|
|
trait Allocator<N, R> {
|
|
type Buffer;
|
|
}
|
|
trait FinAllok<GeometryDim, NodalDim>:
|
|
Allocator<Ure, GeometryDim> +
|
|
Allocator<Ure, NodalDim> +
|
|
{
|
|
}
|
|
trait FiniteElement<Rau>
|
|
where
|
|
DefaultAlloc: FinAllok<Rau, Rau>,
|
|
{
|
|
fn map_reference_coords(&self) -> VectorN<Ure, Rau>;
|
|
}
|
|
fn main() {}
|