mrustc: Test failure in mrustc 0.9 - enums - Borrow

$ make local_tests
[...]
Calling mrustc -O -L output -o output/local_tests/enums.exe samples/test/enums.rs                                                                                   
Target Load: V V V
(0.00 s) Target Load: DONE
Parse: V V V
(0.00 s) Parse: DONE
LoadCrates: V V V
(0.19 s) LoadCrates: DONE
Expand: V V V
(0.00 s) Expand: DONE
Implicit Crates: V V V
(0.00 s) Implicit Crates: DONE
Resolve Use: V V V
(0.00 s) Resolve Use: DONE
Resolve Index: V V V
(0.00 s) Resolve Index: DONE
Resolve Absolute: V V V
(0.00 s) Resolve Absolute: DONE
HIR Lower: V V V
(0.00 s) HIR Lower: DONE
Resolve Type Aliases: V V V
(0.00 s) Resolve Type Aliases: DONE
Resolve Bind: V V V
(0.05 s) Resolve Bind: DONE
Resolve HIR Markings: V V V
(0.00 s) Resolve HIR Markings: DONE
Resolve UFCS Outer: V V V
(0.00 s) Resolve UFCS Outer: DONE
Resolve UFCS paths: V V V
(0.00 s) Resolve UFCS paths: DONE
Constant Evaluate: V V V
(0.00 s) Constant Evaluate: DONE
Typecheck Outer: V V V
(0.00 s) Typecheck Outer: DONE
Typecheck Expressions: V V V
(0.00 s) Typecheck Expressions: DONE
Expand HIR Annotate: V V V
(0.00 s) Expand HIR Annotate: DONE
Expand HIR Closures: V V V
(0.00 s) Expand HIR Closures: DONE
Expand HIR VTables: V V V
(0.00 s) Expand HIR VTables: DONE
Expand HIR Calls: V V V
(0.00 s) Expand HIR Calls: DONE
Expand HIR Reborrows: V V V
(0.00 s) Expand HIR Reborrows: DONE
Expand HIR ErasedType: V V V
(0.00 s) Expand HIR ErasedType: DONE
Typecheck Expressions (validate): V V V
(0.00 s) Typecheck Expressions (validate): DONE
Lower MIR: V V V
samples/test/enums.rs:12: BUG:src/mir/from_hir_match.cpp:1460: Matching borrow invalid pattern - 1
samples/test/enums.rs:12: note: From here

About this issue

Original URL
State: closed
Created 4 years ago
Comments: 16 (14 by maintainers)

Most upvoted comments

It’s part of that mrustc release.

enum Values
{
    One,
    Two,
    Three,
}

fn main()
{
    assert!(match Some(&1) { Some(1) => true, _ => false });
    assert!(match Some(1) { Some(1) => true, _ => false }); // <--- here
    assert!(match Values::One { Values::One => true, _ => false });
}

daym on Jan 13, 2020