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