1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

use crate::*;
#[cfg(creusot)]
use ::std::fmt::{Arguments, Debug, Formatter};

extern_spec! {
    mod core {
        mod fmt {
            impl<'a> Formatter<'a> {
                #[requires(true)]
                fn debug_struct_field1_finish<'b>(
                    &'b mut self,
                    name: &str,
                    name1: &str,
                    value1: &dyn Debug,
                ) -> ::std::fmt::Result;
            }
        }
    }
}

extern_spec! {
    mod core {
        mod fmt {
            impl<'a> Arguments<'a> {
                #[requires(true)]
                fn new_const<const N: usize>(pieces: &'a [&'static str; N]) -> Self;
            }
        }
    }
}