Expand description

Miscellaneous type-system utilities that are too small to deserve their own modules.





Determines whether an item is annotated with doc(hidden).

Determines whether an item is an intrinsic by Abi.

Returns a list of types such that the given type needs drop if and only if any of the returned types need drop. Returns Err(AlwaysRequiresDrop) if this type always needs drop.

Normalizes all opaque types in the given value, replacing them with their underlying types.