Function impl_def_substitution

pub fn impl_def_substitution(
    db: &dyn SemanticGroup,
    impl_def_id: ImplDefId,
) -> Maybe<Arc<GenericSubstitution>>

Query implementation of crate::db::SemanticGroup::impl_def_substitution.