Annotated types should not be in guard vars