-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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
ICE with mutually recursive infinite-sized type and enum from another module #57271
Comments
The error is raised here because it is expected that an error should have been emitted before reaching this code branch, presumably by rust/src/librustc/dep_graph/graph.rs Lines 632 to 642 in ec19464
It seems that the check was added in #49088 to get around similar errors. I wonder if completely removing the check (ignoring the |
Here's the code in my repository, by the way: https://github.com/XavilPergis/rvm/blob/ice/class/src/signature.rs |
@XavilPergis, I tried to compile your |
…=nikomatsakis Add some regression tests - Add a test for rust-lang#62187. - Clean up the directory structure in `src/test/ui/const-generics` - Closes rust-lang#64792. - Closes rust-lang#57399. - Closes rust-lang#57271.
…=nikomatsakis Add some regression tests - Add a test for rust-lang#62187. - Clean up the directory structure in `src/test/ui/const-generics` - Closes rust-lang#64792. - Closes rust-lang#57399. - Closes rust-lang#57271.
…=nikomatsakis Add some regression tests - Add a test for rust-lang#62187. - Clean up the directory structure in `src/test/ui/const-generics` - Closes rust-lang#64792. - Closes rust-lang#57399. - Closes rust-lang#57271.
I'm getting a very touchy ICE on
rustc 1.33.0-nightly (9eac38634 2018-12-31) running on x86_64-unknown-linux-gnu
. I'm not 100% sure what it has to do with...Here is the minimum example I can trigger the ICE with:
I'm expecting to see an error about an infinitely-sized type, but instead the compiler crashes. Changes that make the compiler not ICE:
field::BaseType
intosignature
ObjectType
/TypeSignature
not mutually recursiveObjectType::Class
not containClassTypeSignature
Output of
RUST_BACKTRACE=1 cargo build
: https://gist.github.com/XavilPergis/102774c6c542403db10a351ff013f356Original code that ICE'd: https://gist.github.com/XavilPergis/dafc2bb478f18cee700f78e16eea81cd
The text was updated successfully, but these errors were encountered: