pub fn impl_def_concrete_trait(
    db: &dyn SemanticGroup,
    impl_def_id: ImplDefId
) -> Maybe<ConcreteTraitId>
Expand description