-
Notifications
You must be signed in to change notification settings - Fork 13.4k
double ICE: assertion failed: `(left == right)' / attempt to subtract with overflow #105449
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Labels
C-bug
Category: This is a bug.
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
requires-debug-assertions
This issue requires a build of rustc or tooling with debug-assertions in some way
requires-nightly
This issue requires a nightly compiler in some way.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Comments
Backtrace
|
@rustbot label +requires-debug-assertions |
Reduced from 205 lines to 56 lines: #[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() {} Error output with
|
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this issue
Dec 12, 2022
Normalize receiver substs and erase the regions Fixes rust-lang#105449
# for free
to join this conversation on GitHub.
Already have an account?
# to comment
Labels
C-bug
Category: This is a bug.
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
requires-debug-assertions
This issue requires a build of rustc or tooling with debug-assertions in some way
requires-nightly
This issue requires a nightly compiler in some way.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Code
Meta
rustc --version --verbose
:Error output
rustc -Zunstable-options ./issue-66768.rs
The text was updated successfully, but these errors were encountered: