[Bug] using implicit value from ternary causes conditional select Unsatisfiable

[0rphon]

🐛 Bug Report

Code snippet to reproduce

function main () {
    let x: u8 = if true? 1u8 : 2; //works fine
    let z: bool = (if true? 1u8 : 2) == 3u8; //fails
}

Stack trace & error message

 Compiling Starting...
 Compiling Compiling main program... ("d:\\Work\\leo_playground\\src/main.leo")
 Compiling     --> "d:\\Work\\leo_playground\\src/main.leo": 3:20
     |
   3 |      let z: bool = (if true? 1u8 : 2) == 3u8; //fails
     |                     ^^^^^^^^^^^^^^^^
     |
     = the gadget operation `conditional select` failed due to synthesis error `Unsatisfiable`

Your Environment

• leo's latest master commit ed395a0
• rustc 1.49.0 (e1884a8e3 2020-12-29)
• windows 10 build 10.0.19042.746

[0rphon]

fixed by asg (2657c44)