Appease compiler warning for a legit MBI bug but something that won't happen in practice