avail/avail.descriptor.methods/SemanticRestrictionDescriptor/Companion/newSemanticRestriction

newSemanticRestriction

fun newSemanticRestriction(function: A_Function, method: A_Method, module: A_Module): A_SemanticRestriction

Create a new semantic restriction with the specified information. Make it Mutability.SHARED.

Return

The new semantic restriction.

Parameters

function

The function to run against a call site's argument types.

method

The method for which this semantic restriction applies.

module

The module in which this semantic restriction was defined.