[Placeholder] Unleakable values (only accessible through references), implemented via a self-referencing type