test private_field_presence

cli/tests/integration/run_tests.rs

@@ -573,6 +573,16 @@ itest!(import_type_no_check {
   output: "import_type.ts.out",
 });
 
+itest!(private_field_presence {
+  args: "run --reload private_field_presence.ts",
+  output: "private_field_presence.ts.out",
+});
+
+itest!(private_field_presence_no_check {
+  args: "run --reload --no-check private_field_presence.ts",
+  output: "private_field_presence.ts.out",
+});
+
 itest!(lock_write_requires_lock {
   args: "run --lock-write some_file.ts",
   output: "lock_write_requires_lock.out",

cli/tests/testdata/import_type.ts

@@ -0,0 +1,5 @@
+import { type B, create } from "./subdir/export_types.ts";
+
+const b: B = create();
+
+console.log(b);

cli/tests/testdata/import_type.ts.out

@@ -0,0 +1,2 @@
+[WILDCARD]
+B { a: "a" }

cli/tests/testdata/private_field_presence.ts

@@ -0,0 +1,20 @@
+export class Person {
+  #name: string;
+  constructor(name: string) {
+    this.#name = name;
+  }
+
+  equals(other: unknown) {
+    return other &&
+      typeof other === "object" &&
+      #name in other &&
+      this.#name === other.#name;
+  }
+}
+
+const a = new Person("alice");
+const b = new Person("bob");
+const c = new Person("alice");
+
+console.log(a.equals(b));
+console.log(a.equals(c));

cli/tests/testdata/private_field_presence.ts.out

@@ -0,0 +1,3 @@
+[WILDCARD]
+false
+true

cli/tests/testdata/subdir/export_types.ts

@@ -0,0 +1,11 @@
+export interface A {
+  a: string;
+}
+
+export class B implements A {
+  a = "a";
+}
+
+export function create(): B {
+  return new B();
+}