`requires` and `default_value` override the `required` field on the target of `requires` #2714