diff --git a/test_programs/execution_panic/regression_8210/Nargo.toml b/test_programs/execution_panic/regression_8210/Nargo.toml new file mode 100644 index 00000000000..56b35b52f55 --- /dev/null +++ b/test_programs/execution_panic/regression_8210/Nargo.toml @@ -0,0 +1,6 @@ +[package] +name = "regression_8210" +type = "bin" +authors = [""] + +[dependencies] diff --git a/test_programs/execution_panic/regression_8210/src/main.nr b/test_programs/execution_panic/regression_8210/src/main.nr new file mode 100644 index 00000000000..c6935e2aae8 --- /dev/null +++ b/test_programs/execution_panic/regression_8210/src/main.nr @@ -0,0 +1,16 @@ +// https://github.com/noir-lang/noir/issues/8210 +fn main() { + (42 as Field).bar(); +} + +trait Foo { + let BAR: u32; + + fn bar(_: Self) -> u32 { + Foo::BAR + } +} + +impl Foo for Field { + let BAR: u32 = 254; +}