pub fn type_validation_incomplete<S>( file_id: FileId, location: Option<Span>, type_name: S, ) -> Diagnosticwhere S: Into<String>,