(j3.2006) Did we intend to prohibit this?

[Van Snyder]

On Fri, 2017-03-10 at 10:32 +0900, Cohen Malcolm wrote:
> 
> >We don't have any trouble saying that an allocatable function result is
> >deallocated after it's used.
> 
> It's the function result *variable* that gets deallocated (after the value 
> was used). 

Sure.  So why is F(X) a function result *variable* in

  v = f(x)

but it's not a function result *variable* in

  call move_alloc ( f(x), v )