pub fn impl_concrete_trait(
    db: &dyn SemanticGroup,
    impl_id: ImplId
) -> Maybe<ConcreteTraitId>
Expand description