/// ~MINIMIZE-ROOT HasFields
struct HasFields {
    /// ~REQUIRE-DELETED field_a
    field_a: (),
    /// ~MINIMIZE-ROOT field_b
    field_b: (),
}

/// ~MINIMIZE-ROOT main
fn main() {}