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