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