pub trait IntoTWithDiagnosticArray {
// Required method
fn with_diagnostic(
self,
diagnostic: Vec<Diagnostic>,
) -> TWithDiagnosticArray<Self>
where Self: Sized + Debug;
// Provided method
fn with_empty_diagnostic(self) -> TWithDiagnosticArray<Self>
where Self: Sized + Debug { ... }
}