stage2: implement opaque declarations

 * Module: implement opaque type namespace lookup
 * Add `Type.type` for convenience
 * Sema: fix `validateVarType` for pointer-to-opaque
 * x86_64 ABI: implement support for pointers
 * LLVM backend: fix lowering of opaque types
 * Type: implement equality checking for opaques

1 files changed, 12 insertions, 0 deletions

diff --git a/test/behavior/basic.zig b/test/behavior/basic.zig
index f6876e29ad..63a3ad9eb6 100644
--- a/test/behavior/basic.zig
+++ b/test/behavior/basic.zig
@@ -188,3 +188,15 @@ fn testMemcpyMemset() !void {
     try expect(bar[11] == 'A');
     try expect(bar[19] == 'A');
 }
+
+const OpaqueA = opaque {};
+const OpaqueB = opaque {};
+
+test "variable is allowed to be a pointer to an opaque type" {
+    var x: i32 = 1234;
+    _ = hereIsAnOpaqueType(@ptrCast(*OpaqueA, &x));
+}
+fn hereIsAnOpaqueType(ptr: *OpaqueA) *OpaqueA {
+    var a = ptr;
+    return a;
+}