Changeset 82a5ea2 for src/GenPoly

Timestamp:

Sep 5, 2024, 4:07:48 PM (3 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

a933489b

Parents:

508cff0

Message:

Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message.

File:

• src/GenPoly/Box.cpp (modified) (1 diff)

src/GenPoly/Box.cpp

@@ -515 +515 @@
                 ast::FunctionType const * adaptee,
                 TypeVarMap const & typeVars ) {
+        assertf( ast::FixedArgs == adaptee->isVarArgs,
+                "Cannot adapt a varadic function, should have been checked." );
         ast::FunctionType * adapter = ast::deepCopy( adaptee );
         if ( isDynRet( adapter, typeVars ) ) {