Module opaque_types

Source
Expand description

Computes a normalizes-to (projection) goal for opaque types. This goal behaves differently depending on the current TypingMode.

Enumsยง

NotUniqueParam ๐Ÿ”’

Functionsยง

uses_unique_placeholders_ignoring_regions ๐Ÿ”’
Checks whether each generic argument is simply a unique generic placeholder.