[moetemp]

What changed?

This PR lets a helper method use a type parameter that its resource doesn't have.

/// @nexus.type-parameter
type value-t = placeholder;

/// @nexus.helper python="reduce_stream"
reduce: func(function: fold, initial: value-t, timeout: duration) -> stream-reduce;

• The generated method is generic in value-t, and the resource stays generic in its own parameters only.
• The types in the signature of a function argument count toward the method's type parameters.
• The stream sample gets reduce on both Stream classes.

Why?

A fold over a Stream gives back a value of the caller's type. Without this change, value-t made the whole Stream generic in it.

How did you test it?

cargo validate passes. The stream tests check a typed reduce, and a unit test checks that the resource keeps only its own parameters.

Link to a test plan if any -

• Unit Tests
• Staging
• End to End Tests