Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rustc ICEs when an impl doesn't have all the methods it needs to #3344

Closed
jld opened this issue Sep 1, 2012 · 1 comment
Closed

rustc ICEs when an impl doesn't have all the methods it needs to #3344

jld opened this issue Sep 1, 2012 · 1 comment
Labels
A-typesystem Area: The type system I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
Milestone

Comments

@jld
Copy link
Contributor

jld commented Sep 1, 2012

At revision ce4e09b. A minimized test case:

enum thing = uint;
impl thing : cmp::Ord {
    pure fn lt(&&other: thing) -> bool { *self < *other }
}

Looking up some of the addresses from the backtrace in nm -n output (is there a better way to do this?) suggests that it's the tcx.items.get in middle::typeck::collect::check_methods_against_trait.

@ghost ghost assigned catamorphism Sep 6, 2012
@catamorphism
Copy link
Contributor

I'll look at this.

jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Jul 29, 2024
… reinstrumentation (rust-lang#3344)

Recently added memory initialization checks (see rust-lang#3300 for an overview)
code suffers from re-instrumentation due to automatically added pointer
checks to the instrumentation code.

This PR adds an internal `kanitool::disable_checks` attribute to disable
automatically generated CBMC checks inside internal instrumentation.
This, in turn, relies on CBMC pragmas
(https://www.cprover.org/cprover-manual/properties/#usinggotoinstrument).

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-typesystem Area: The type system I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
Projects
None yet
Development

No branches or pull requests

2 participants