pub fn impl_semantic_definition_diagnostics(
    db: &dyn SemanticGroup,
    impl_def_id: ImplDefId
) -> Diagnostics<SemanticDiagnostic>
Expand description