LLVM assertion failure with pattern matching and references

[alexcrichton]

This program:

fn main() {
  let &(ref x, _) = &(1, 1);
}

Produces the output:

$ rustc --test bug3.rs
bug3.rs:2:8: 2:14 warning: unused variable: `x`
bug3.rs:2   let &(ref x, _) = &(1, 1);
                  ^~~~~~
Assertion failed: (getOperand(0)->getType() == cast<PointerType>(getOperand(1)->getType())->getElementType() && "Ptr must be a pointer
 to Val type!"), function AssertOK, file /Users/alex/code/rust2/src/llvm/lib/VMCore/Instructions.cpp, line 1062.

[alexcrichton]

I get the same assertion failure for this program as well:

struct A {                                    
  val: ~str                                   
}                                             

fn main() {                                   
  macro_rules! check_set (                    
    ($set:expr, $id:expr) => {                
      match &$id {                            
        _ => io::println(fmt!("%s", $id.val)) 
      }                                       
    }                                         
  );                                          
  let a = @A{ val: ~"" };                     
  check_set!(set, a);                         
}                                             

If it's not in a macro, it doesn't trip an assertion, however, oddly enough.

[bblum]

is this a dup of #3874 ?

[alexcrichton]

This particular bug was closed by #7262, but I'll open another because this still doesn't compile.