concrete code which should build but panics

[kenarab]

Running in linear-checker branch

git checkout linear-checker

 cargo r build examples/linearExample01fail.con --check 

Included in examples but not in tests, as it is not working

mod LinearExampleStub {

	struct Linear {
	    x: i32,
	    y: i32,
	}
	

	fn main() -> i32 {
		let mut xy: Linear = 
                    Linear {
                        x: 1,
                        y: 0,
                    };
		if true { //if true because current stage of the AST does not support an anonymous block
			// xy is "consumed". _consume has Linear type and goes out of scope
			let _consume: Linear = xy;
            //FIXME this code is not compiling in concrete seems to be because a problem in lowering with variables defined inside a block
		}
		return xy.x;
	}				
}

2024-06-19T19:05:48.106908Z DEBUG concrete_driver: Output file: "/Users/kenarab/git/concrete-ab/linearExample01fail.o"
2024-06-19T19:05:48.106914Z DEBUG concrete_driver: Is library: false
2024-06-19T19:05:48.106917Z DEBUG concrete_driver: Optlevel: None
2024-06-19T19:05:48.106919Z DEBUG concrete_driver: Debug Info: Full
2024-06-19T19:05:48.107155Z DEBUG concrete_ir::lowering::prepass: running ir prepass on module DefId { program_id: 0, id: 1 }
thread 'main' panicked at crates/concrete_ir/src/lowering.rs:800:76:
no local_idx
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace