Kind1
Kind1 copied to clipboard
Problem with variables named `dup`
#derive[match]
type Node {
dup
bup
}
thread 'main' panicked at 'Expected `name`:
880 | (Q$Node.match orig (Kind.Term.ct0 (Node.dup.) orig) motive dup bup) = (Kind.Term.ann 536870941 (Kind.Term.set_origin 536870941 dup) (Kind.Term.app 402653204 (Kind.Term.set_origin 402653204 motive) (Kind.Term.ct0 (Node.dup.) 402653204)))', crates/kind-checker/src/lib.rs:88:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace