Skip to main content

Module opaque_types

Module opaque_types 

Source
Expand description

Computes a projection goal for opaque types. This goal behaves differently depending on the current TypingMode.