No function-trait checking for expression evaluation