pub fn de_get_trait_fn(
    index: DeclarationId,
    span: &Span
) -> Result<TyTraitFn, CompileError>