# Now the case of direct null and nullable is over.
# If `sub` is a formal type, then it is accepted if its bound is accepted
# Now the case of direct null and nullable is over.
# If `sub` is a formal type, then it is accepted if its bound is accepted