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