Function validate_library 

fn validate_library(
    metadata: &ContractMetadata,
    diagnostics: &mut Vec<Diagnostic>,
)