Function rustc_next_trait_solver::solve::normalizes_to::opaque_types::uses_unique_placeholders_ignoring_regions
source ยท 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.