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

newSemanticRestriction

fun newSemanticRestriction(    function: A_Function,     method: A_Method,     module: A_Module): A_SemanticRestriction
Content copied to clipboard

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.