}, "Should throw PACDecodingException for incompatible types in enumeration");
    }

    // --- as(Class, ASN1InputStream) ---

    @Test
    void testAs_ASN1InputStream_Success() throws IOException, PACDecodingException {
        // Test successful reading and casting from ASN1InputStream
        ASN1Integer original = new ASN1Integer(456);