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