Compiler allows repeated moves out of a captured variable in a proc()

[TisButMe]

When running this code:
https://gist.github.com/TisButMe/74c121d98ef3fe00bfa9

The second time you enter an input to stdin, the program segfaults:

Segmentation fault (core dumped)

Sample input:

$./Client
If you're happy and you know it
Segfault!
Segmentation fault (core dumped)

Removing

writer.flush();

stops the segfault, but nothing gets written anymore (surprisingly...).

For testing purposes, here is the code to the server used:
https://gist.github.com/TisButMe/16999f80db443dfe4df8

This issue has been discovered on Ubuntu 13.04, using the master downloaded and compiled on 5 Dec.13

[alexcrichton]

The good news is that this is not a bug in I/O. The bad news is that this is a bug in the compiler. I've simplified the program you have into this:

fn foo(_: ~int) {}  

fn main() {         
    let a = ~2;     
    do spawn {      
        loop {      
            foo(a); 
        }           
    }               
}                   

This program should not compile because it is repeatedly moving out of the local variable a. Your program should not compile either because you are repeatedly moving out of stream.

[alexcrichton]

Updated title to the actual bug, and cc @nikomatsakis

[ben0x539]

Same bug as #10398?

[alexcrichton]

Looks like it, thanks!

Closing as a dupe (but will mention the code on the other bug).