pub fn default_ensures(_b: bool) -> bool
Mark an ensures clause in a trait as applying just to the default implementation, not the trait declaration in general