pub fn eq_defaultness(l: Defaultness, r: Defaultness) -> bool