Changes:
-
importsymbolsNo need to import impl if type patterns are disabled. -
usesymbolsIf type patterns enabled, make both the function itself and the impl variant available. -
type_pattern_resolveIf an external function has varargs (...), simply duplicate it and rename it to the impl function for now. We do this because we always assume that bothfooand_tp_impl_fooare available if type patterns are enabled. Handling these cases requires passing of...or__va_args__in the SaC world, which is non-trivial. -
rterrorNo point in inliningconditionalAbort, this is not performance-critical anyways but would produce a lot of inlined code.