Just cleaning up a bunch of things and adding some more content for the tutorial and noticed the Phantom Types section is empty. Is anyone able to give me a clue as to what this is referring to? Is this just having a type variable that isn't actually included in the opaque definition, i.e. they aren't used, but just distinguish between different things.
yeah exactly
I don't know if that actually needs to be in the tutorial though
probably a better fit for the language reference
I might pull it out for now, instead of having a (coming soon) section
Last updated: Jul 05 2025 at 12:14 UTC