Core models calls the Debug trait method `dbg_fmt` instead of `fmt`

[abentkamp]

pub struct Lane2U32([u32; 2]);
impl core::fmt::Debug for Lane2U32 {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.debug_tuple("Lane2U32")
            .field(&self.0)
            .finish()
    }
}

Open this code snippet in the playground

error: playground.lean:25:2: `fmt` is not a field of structure `core_models.fmt.Debug`
error: playground.lean:24:47: Fields missing: `dbg_fmt`