slither.slithir.exceptions.SlithIRError: Ternary operator are not convertible to SlithIR if true then a.user else b.user
ERROR:root:Error:
ERROR:root:Ternary operator are not convertible to SlithIR if true then a.user else b.user
ERROR:root:Please report an issue to https://github.com/crytic/slither/issues`
contract A {
struct S {
uint32 user;
}
}
contract B {
A.S a;
A.S b;
A[] array = new A[]((true ? a.user : b.user));
}
Describe the issue:
Run
slither a.solgiven:Code example to reproduce the issue:
Version:
0.11.3
Relevant log output: