rustls-pki-types 1.15.1: rustls_pki_types::ServerName

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "rustls-pki-types"
version = "1.15.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2f4925028c7eb5d1fcdaf196971378ed9d2c1c4efc7dc5d011256f76c99c0a96"
dependencies = [
 "zeroize",
]

[[package]]
name = "sample-rustls-pki-types"
version = "1.0.0"
dependencies = [
 "rustls-pki-types",
]

[[package]]
name = "zeroize"
version = "1.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e13c156562582aa81c60cb29407084cdb54c4164760106ab78e6c5b0858cf64e"

[package]
name = "sample-rustls-pki-types"
version = "1.0.0"
edition = "2021"
publish = false

[dependencies]
rustls-pki-types = "=1.15.1"

[[bin]]
name = "contract"
path = "test/contract.rs"

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify rustls_pki_types::ServerName in pkg:cargo/rustls-pki-types@1.15.1
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/rustls-pki-types@1.15.1
Demonstrate these symbols/APIs:
  - rustls_pki_types::ServerName

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:8cc77acf7bee495ce8cb99084ba917b131560df85918c6fb3b8c3ca7ff56c8bb","contract":["ServerName parses valid DNS hostname strings from str slices into the DnsName variant","ServerName parses IPv4 and IPv6 string addresses into the IpAddress variant","ServerName rejects invalid DNS hostnames and formatted URLs with InvalidDnsNameError","ServerName converts directly from DnsName and IpAddr without additional allocation","ServerName supports equality comparison, hashing, and producing owned static instances via to_owned"],"goal":"verify rustls_pki_types::ServerName in pkg:cargo/rustls-pki-types@1.15.1","kind":"HOW","packages":["pkg:cargo/rustls-pki-types@1.15.1"],"schemaVersion":1,"symbols":["rustls_pki_types::ServerName"]},"contractCommand":["cargo","run","--offline"],"environment":{"arch":"x64","distro":"alpine","ecosystem":"cargo","libc":"musl","os":"linux","packageManager":"cargo","schemaVersion":1},"license":"MIT-0","packages":["pkg:cargo/rustls-pki-types@1.15.1"],"schemaVersion":1,"subject":"pkg:cargo/rustls-pki-types@1.15.1","symbols":["rustls_pki_types::ServerName"],"verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify rustls_pki_types::ServerName in pkg:cargo/rustls-pki-types@1.15.1",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/rustls-pki-types@1.15.1"
  ],
  "symbols": [
    "rustls_pki_types::ServerName"
  ]
}

//! Clean-room verification sample for rustls-pki-types.

pub use rustls_pki_types::*;

use rustls_pki_types::{DnsName, InvalidDnsNameError, IpAddr, Ipv4Addr, Ipv6Addr, ServerName};
use std::collections::HashSet;

fn main() {
    // 1. ServerName parses valid DNS hostname strings from str slices into the DnsName variant
    let dns_name = ServerName::try_from("example.com").expect("valid dns hostname");
    match &dns_name {
        ServerName::DnsName(dns) => {
            assert_eq!(dns.as_ref(), "example.com");
        }
        _ => panic!("expected DnsName variant"),
    }

    let sub_dns = ServerName::try_from("sub.example.org").expect("valid subdomain");
    match &sub_dns {
        ServerName::DnsName(dns) => {
            assert_eq!(dns.as_ref(), "sub.example.org");
        }
        _ => panic!("expected DnsName variant"),
    }

    // 2. ServerName parses IPv4 and IPv6 string addresses into the IpAddress variant
    let ipv4_name = ServerName::try_from("192.0.2.1").expect("valid ipv4");
    match &ipv4_name {
        ServerName::IpAddress(IpAddr::V4(v4)) => {
            assert_eq!(v4.as_ref(), &[192, 0, 2, 1]);
        }
        _ => panic!("expected IpAddress::V4 variant"),
    }

    let ipv6_name = ServerName::try_from("2001:db8::1").expect("valid ipv6");
    match &ipv6_name {
        ServerName::IpAddress(IpAddr::V6(v6)) => {
            assert_eq!(v6.as_ref(), &[0x20, 0x01, 0x0d, 0xb8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]);
        }
        _ => panic!("expected IpAddress::V6 variant"),
    }

    // 3. ServerName rejects invalid DNS hostnames and formatted URLs with InvalidDnsNameError
    assert!(matches!(
        ServerName::try_from("https://example.com"),
        Err(InvalidDnsNameError)
    ));
    assert!(matches!(
        ServerName::try_from("invalid domain name with spaces"),
        Err(InvalidDnsNameError)
    ));
    assert!(matches!(
        ServerName::try_from(""),
        Err(InvalidDnsNameError)
    ));

    // 4. ServerName converts directly from DnsName and IpAddr without additional allocation
    let dns_inner = DnsName::try_from("localhost").expect("valid localhost");
    let from_dns = ServerName::from(dns_inner);
    match &from_dns {
        ServerName::DnsName(dns) => {
            assert_eq!(dns.as_ref(), "localhost");
        }
        _ => panic!("expected DnsName variant"),
    }

    let ip_v4 = IpAddr::V4(Ipv4Addr::from([127, 0, 0, 1]));
    let from_ip_v4 = ServerName::from(ip_v4);
    match &from_ip_v4 {
        ServerName::IpAddress(IpAddr::V4(v4)) => {
            assert_eq!(v4.as_ref(), &[127, 0, 0, 1]);
        }
        _ => panic!("expected IpAddress::V4 variant"),
    }

    let ip_v6 = IpAddr::V6(Ipv6Addr::from([0, 0, 0, 0, 0, 0, 0, 1]));
    let from_ip_v6 = ServerName::from(ip_v6);
    match &from_ip_v6 {
        ServerName::IpAddress(IpAddr::V6(v6)) => {
            assert_eq!(v6.as_ref(), &[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1]);
        }
        _ => panic!("expected IpAddress::V6 variant"),
    }

    // 5. ServerName supports equality comparison, hashing, and producing owned static instances via to_owned
    let borrowed: ServerName = ServerName::try_from("example.com").unwrap();
    let owned: ServerName<'static> = borrowed.to_owned();
    assert_eq!(borrowed, owned);
    assert_eq!(format!("{:?}", borrowed), "DnsName(\"example.com\")");

    let mut set = HashSet::new();
    set.insert(borrowed.clone());
    set.insert(owned);
    assert_eq!(set.len(), 1);

    println!("All ServerName contract assertions passed successfully.");
}