carbon-lang icon indicating copy to clipboard operation
carbon-lang copied to clipboard

explorer crashes attempting Value -> TupleValue cast

Open pk19604014 opened this issue 3 years ago • 0 comments
trafficstars

// Generated by proto_to_carbon.

package EmptyIdentifier impl;

fn apply[T:! Type, U:! Type](f: T, EmptyIdentifier: U)
{
match (true[true]) {}
}

fn EmptyIdentifier() -> apply(true, true);

fn Main() -> i32 {
  return 0;
}

explorer: external/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From &) [To = Carbon::TupleValue, From = Carbon::Value]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
```

pk19604014 avatar Jul 15 '22 13:07 pk19604014