fn uses_unique_placeholders_ignoring_regions<I: Interner>(
    _cx: I,
    args: I::GenericArgs,
) -> Result<(), NotUniqueParam<I>>
Expand description

Checks whether each generic argument is simply a unique generic placeholder.

FIXME: Interner argument is needed to constrain the I parameter.