Skip to main content
Max PlatformDocsCompanyBlogModCon
Max PlatformDocsCompanyBlogModCon
Contact salesSign in

function

rebind

rebind[dest_type: AnyRegType, src_type: AnyRegType](val: src_type) -> $0

Statically assert that a parameter input type src_type resolves to the same type as a parameter result type dest_type after function instantiation and "rebind" the input to the result type.

This function is meant to be used in uncommon cases where a parametric type depends on the value of a constrained parameter in order to manually refine the type with the constrained parameter value.

Parameters:

  • ​dest_type (AnyRegType): The type to rebind to.
  • ​src_type (AnyRegType): The original type.

Args:

  • ​val (src_type): The value to rebind.

Returns:

The rebound value of dest_type.