`type->is_closed()' assertion for polymorphic functions
richardmembarth opened this issue · comments
impala: thorin/src/thorin/world.cpp:814: const thorin::TypeNode* thorin::World::unify_base(const thorin::TypeNode*): Assertion `type->is_closed()' failed.
A test case can be found here: AnyDSL/impala@cfdee49