#[lang = "structural_peq"]
pub trait StructuralPartialEq {
    // Empty.
}

#[lang = "structural_teq"]
pub trait StructuralEq {
    // Empty.
}