parse_elaborate_infertype_compile translated