Tests if static error XS0017 is thrown if an option is both required and has a default value.