-provided+required? Hum, what happens if you add `@fallback_to_any true` and not an implementation for `Any`, can the consolidator warn on this?