Function to_string_from_display_ensuresCopy item path

pub uninterp fn to_string_from_display_ensures<T: Display + ?Sized>(
    t: &T,
    s: String,
) -> bool