Support dependent: restrict_with_error