Is it possible for an expression to be compile time evaluated to a function that isn't compile time evaluable?

Then we would need to also check against the resulted FunctionValue.