Playground

from std.compliance import check_consent

struct User:
    name:    PersonalData<str>
    email:   PersonalData<str>
    age:     int

# This function lets personal data reach a plain sink.
# The kern compiler will REJECT this at compile time.

fn send_analytics(user: User):
    # PersonalData reaching a plain sink -- compile error!
    analytics.track(user.email.value)
    log.info("Tracked user: {user.name.value}")

# The safe path: validate consent, then process.

fn send_email_safe(user: User, consent: str):
    check_consent("process", consent)
    send(user.email_plain, "Welcome to our platform!")
    print("Email sent successfully")

fn main():
    user = User(
        name:  PersonalData("Eva Muller"),
        email: PersonalData("eva@example.eu"),
        age:   32
    )

    # send_analytics(user)   # Uncomment to see the error!
    send_email_safe(user, "granted")