blob: eb3e09a3d4589dfa417830c8d341e00475c9875a (
plain)
1
|
Type error: Unhandled error: MissingUnionField(Label("y"), Value@WHNF { value: UnionType({Label("x"): Some(Value@Unevaled { value: AppliedBuiltin(Bool, [], []), type: Type })}), type: Type })
|