If a parameter leaks into result, it cannot be Nullable