The layout of object slots for my instances.
The function to invoke to determine the static suitability of the arguments at this call site, and to compute a stronger type bound for the call site's result type.
The method for which this is a semantic restriction.
The module in which this semantic restriction was added.