Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.
{
"versions": [
{
"introduced": "0"
},
{
"last_affected": "0.8.13"
},
{
"introduced": "0"
},
{
"last_affected": "0.8.14"
}
]
}