Asserting when the inferred type is `Optional[X]` but we expect just `X` is a common thing and may not be obvious to users.