Explicit `(Any=>Any)[..=>..]` shouldn't warn