Skip to content

[ICE] in inner const generic function  #75299

Closed
#77388
Closed
[ICE] in inner const generic function #75299
#77388
Labels
A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlA-const-genericsArea: const generics (parameters and arguments)C-bugCategory: This is a bug.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.F-const_generics`#![feature(const_generics)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.glacierICE tracked in rust-lang/glacier.requires-nightlyThis issue requires a nightly compiler in some way. When possible, use a F-* label instead.

Description

@leonardo-m
leonardo-m
opened on Aug 8, 2020
#![feature(const_generics, box_syntax)]
#![allow(incomplete_features)]
fn main() {
    fn foo<const N: usize>() {
        box [0; N];
    }
    foo::<1>();
}

Compiled with:
rustc -Z mir-opt-level=3 bug.rs

Using:
rustc 1.47.0-nightly (09f4c9f50 2020-08-07) running on x86_64-pc-windows-gnu

Gives:

error: internal compiler error: broken MIR in Item(WithOptConstParam { did: DefId(0:3 ~ bug[317d]::main[0]), const_param_did: None }) (
encountered `Assign` statement with incompatible types:
left-hand side has type: [i32; 1]
right-hand side has type: [i32; N]
 --> bug.rs:5:13
  |
5 |         box [0; N];
  |             ^^^^^^
  |
  = note: delayed at src\librustc_mir\transform\validate.rs:140:36

thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src\librustc_errors\lib.rs:366:17

Activity

  1. leonardo-m
    added
    C-bugCategory: This is a bug.
    on Aug 8, 2020

  2. leonardo-m commented on Aug 8, 2020

    @leonardo-m
    leonardo-m
    on Aug 8, 2020
    Author

    The problem is not tied to box:

    #![feature(const_generics)]
#![allow(incomplete_features)]
fn main() {
    fn foo<const N: usize>() -> [u8; N] {
        [0; N]
    }
    let _x = foo::<1>();
}
  3. leonardo-m
    changed the title [-][ICE] with box in const generic function [/-] [+][ICE] in inner const generic function [/+] on Aug 8, 2020
  4. jonas-schievink
    added
    A-const-genericsArea: const generics (parameters and arguments)
    F-const_generics`#![feature(const_generics)]`
    I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
    requires-nightlyThis issue requires a nightly compiler in some way. When possible, use a F-* label instead.
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html
    on Aug 8, 2020
  5. rust-lang-glacier-bot
    added
    glacierICE tracked in rust-lang/glacier.
    on Aug 14, 2020

  6. Alexendoo commented on Sep 7, 2020

    @Alexendoo
    Alexendoo
    on Sep 7, 2020
    Member

    No longer ICEs after #76376

  7. Alexendoo
    added
    E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.
    on Sep 7, 2020
  8. leonardo-m
    closed this as completedon Sep 7, 2020

  9. leonardo-m commented on Sep 7, 2020

    @leonardo-m
    leonardo-m
    on Sep 7, 2020
    Author

    Ops, sorry, I reopen until a test is present.

  10. leonardo-m
    reopened this on Sep 7, 2020
  11. Dylan-DPC-zz
    added a commit that references this issue on Oct 3, 2020

    Rollup merge of rust-lang#77388 - JohnTitor:add-tests, r=Dylan-DPC

    a341710
  12. JohnTitor
    added a commit that references this issue on Oct 4, 2020

    Rollup merge of rust-lang#77388 - JohnTitor:add-tests, r=Dylan-DPC

    f09c962
  13. bors
    closed this as completedin f09c962on Oct 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlA-const-genericsArea: const generics (parameters and arguments)C-bugCategory: This is a bug.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.F-const_generics`#![feature(const_generics)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.glacierICE tracked in rust-lang/glacier.requires-nightlyThis issue requires a nightly compiler in some way. When possible, use a F-* label instead.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions