Ah, upon further review, it looks like we actually check this case below and return an error, in which case I think we want this assertion to not actually exist, right?