``` tag noption { some(noption); } fn main() { let nop2: noption = "x"; alt nop2 { some(t) { log t.x; } } } ``` Hangs the compiler in typeck. sully, will your planned fix for #742 take care of this?